Index of /raspbian/pool/main/c/cvc4/
../
cvc4_1.6-2.debian.tar.xz 13-Aug-2018 20:01 8232
cvc4_1.6-2.dsc 13-Aug-2018 20:01 2652
cvc4_1.6.orig.tar.gz 07-Aug-2018 19:44 7815893
cvc4_1.8-2.debian.tar.xz 18-Sep-2020 01:25 16456
cvc4_1.8-2.dsc 18-Sep-2020 01:25 2275
cvc4_1.8-2_armhf.deb 29-Sep-2020 22:08 74328
cvc4_1.8-3+b1_armhf.deb 08-Jun-2024 10:08 75384
cvc4_1.8-3.debian.tar.xz 29-Oct-2022 19:57 16728
cvc4_1.8-3.dsc 29-Oct-2022 19:57 2244
cvc4_1.8-3_armhf.deb 01-Nov-2022 16:08 73876
cvc4_1.8.orig.tar.gz 13-Sep-2020 23:17 7547187
libcvc4-7_1.8-2_armhf.deb 29-Sep-2020 22:08 4890236
libcvc4-7_1.8-3+b1_armhf.deb 08-Jun-2024 10:08 5278672
libcvc4-7_1.8-3_armhf.deb 01-Nov-2022 16:08 5228768
libcvc4-dev_1.8-2_armhf.deb 29-Sep-2020 22:08 131256
libcvc4-dev_1.8-3+b1_armhf.deb 08-Jun-2024 10:08 131460
libcvc4-dev_1.8-3_armhf.deb 01-Nov-2022 16:08 131116
libcvc4parser7_1.8-2_armhf.deb 29-Sep-2020 22:08 324952
libcvc4parser7_1.8-3+b1_armhf.deb 08-Jun-2024 10:08 320920
libcvc4parser7_1.8-3_armhf.deb 01-Nov-2022 16:08 317556