Index of /debian/pool/contrib/c/cvc4/
../
cvc4_1.6-2+b1_amd64.deb 08-Jan-2023 13:35 136244
cvc4_1.6-2+b1_i386.deb 08-Jan-2023 13:28 139464
cvc4_1.8-2_amd64.deb 08-Jan-2023 11:47 81488
cvc4_1.8-2_i386.deb 08-Jan-2023 12:19 82548
cvc4_1.8-3_amd64.deb 01-Aug-2023 15:10 80688
cvc4_1.8-3_i386.deb 01-Aug-2023 14:25 82652
libcvc4-5_1.6-2+b1_amd64.deb 08-Jan-2023 13:54 4056556
libcvc4-5_1.6-2+b1_i386.deb 08-Jan-2023 13:19 4507864
libcvc4-7_1.8-2_amd64.deb 08-Jan-2023 11:40 5651716
libcvc4-7_1.8-2_i386.deb 08-Jan-2023 11:52 6152812
libcvc4-7_1.8-3_amd64.deb 01-Aug-2023 12:57 5936792
libcvc4-7_1.8-3_i386.deb 01-Aug-2023 14:10 6700704
libcvc4-dev_1.6-2+b1_amd64.deb 08-Jan-2023 13:53 6718020
libcvc4-dev_1.6-2+b1_i386.deb 08-Jan-2023 13:53 7208884
libcvc4-dev_1.8-2_amd64.deb 08-Jan-2023 11:50 131264
libcvc4-dev_1.8-2_i386.deb 08-Jan-2023 12:29 131252
libcvc4-dev_1.8-3_amd64.deb 01-Aug-2023 13:16 131112
libcvc4-dev_1.8-3_i386.deb 01-Aug-2023 14:21 131112
libcvc4parser5_1.6-2+b1_amd64.deb 08-Jan-2023 14:22 362516
libcvc4parser5_1.6-2+b1_i386.deb 08-Jan-2023 13:26 389524
libcvc4parser7_1.8-2_amd64.deb 08-Jan-2023 11:54 366212
libcvc4parser7_1.8-2_i386.deb 08-Jan-2023 12:30 382484
libcvc4parser7_1.8-3_amd64.deb 01-Aug-2023 13:56 362304
libcvc4parser7_1.8-3_i386.deb 01-Aug-2023 12:22 387704