Index of /pool/main/c/cvc4/
../
cvc4_1.6-2+b1_amd64.deb 08-Apr-2019 09:44 136244
cvc4_1.6-2+b1_i386.deb 05-Nov-2020 16:17 139464
cvc4_1.6-2.debian.tar.xz 08-Apr-2019 10:11 8232
cvc4_1.6-2.dsc 08-Apr-2019 10:11 2652
cvc4_1.6.orig.tar.gz 08-Apr-2019 10:11 7815893
cvc4_1.8-3.debian.tar.xz 16-Feb-2023 22:47 16728
cvc4_1.8-3.dsc 16-Feb-2023 22:47 2244
cvc4_1.8-3_amd64.deb 16-Feb-2023 22:31 80688
cvc4_1.8-3_arm64.deb 16-Feb-2023 22:28 75564
cvc4_1.8-3_i386.deb 16-Feb-2023 22:40 82652
cvc4_1.8.orig.tar.gz 21-Oct-2020 12:34 7547187
libcvc4-5_1.6-2+b1_amd64.deb 08-Apr-2019 09:12 4056556
libcvc4-5_1.6-2+b1_i386.deb 05-Nov-2020 15:14 4507864
libcvc4-7_1.8-3_amd64.deb 16-Feb-2023 22:29 5936792
libcvc4-7_1.8-3_arm64.deb 16-Feb-2023 22:23 4997468
libcvc4-7_1.8-3_i386.deb 16-Feb-2023 22:30 6700704
libcvc4-dev_1.6-2+b1_amd64.deb 08-Apr-2019 10:37 6718020
libcvc4-dev_1.6-2+b1_i386.deb 05-Nov-2020 16:14 7208884
libcvc4-dev_1.8-3_amd64.deb 16-Feb-2023 22:36 131112
libcvc4-dev_1.8-3_arm64.deb 16-Feb-2023 22:30 131120
libcvc4-dev_1.8-3_i386.deb 16-Feb-2023 22:24 131112
libcvc4parser5_1.6-2+b1_amd64.deb 08-Apr-2019 09:26 362516
libcvc4parser5_1.6-2+b1_i386.deb 05-Nov-2020 16:17 389524
libcvc4parser7_1.8-3_amd64.deb 16-Feb-2023 22:31 362304
libcvc4parser7_1.8-3_arm64.deb 16-Feb-2023 22:32 322668
libcvc4parser7_1.8-3_i386.deb 16-Feb-2023 22:42 387704