Index of /debian/pool/main/c/cvc4/
../
cvc4_1.8-2_amd64.deb 12-May-2025 11:33 81488
cvc4_1.8-3+b3_amd64.deb 08-Apr-2025 01:14 82420
cvc4_1.8-3+b3_i386.deb 08-Apr-2025 01:15 84256
cvc4_1.8-3+b4_amd64.deb 20-Aug-2026 00:43 82828
cvc4_1.8-3+b4_i386.deb 13-Jan-2026 13:17 85028
cvc4_1.8-3_amd64.deb 20-Aug-2026 00:45 80688
libcvc4-7_1.8-2_amd64.deb 12-May-2025 11:33 5651716
libcvc4-7_1.8-3+b3_amd64.deb 08-Apr-2025 01:14 5991868
libcvc4-7_1.8-3+b3_i386.deb 08-Apr-2025 01:15 6701640
libcvc4-7_1.8-3+b4_amd64.deb 20-Aug-2026 00:43 6616160
libcvc4-7_1.8-3+b4_i386.deb 13-Jan-2026 13:17 7176192
libcvc4-7_1.8-3_amd64.deb 20-Aug-2026 00:45 5936792
libcvc4-dev_1.8-2_amd64.deb 12-May-2025 11:33 131264
libcvc4-dev_1.8-3+b3_amd64.deb 08-Apr-2025 01:14 131408
libcvc4-dev_1.8-3+b3_i386.deb 08-Apr-2025 01:15 131360
libcvc4-dev_1.8-3+b4_amd64.deb 20-Aug-2026 00:43 131428
libcvc4-dev_1.8-3+b4_i386.deb 13-Jan-2026 13:17 131408
libcvc4-dev_1.8-3_amd64.deb 20-Aug-2026 00:45 131112
libcvc4parser7_1.8-2_amd64.deb 12-May-2025 11:33 366212
libcvc4parser7_1.8-3+b3_amd64.deb 08-Apr-2025 01:14 365528
libcvc4parser7_1.8-3+b3_i386.deb 08-Apr-2025 01:15 393812
libcvc4parser7_1.8-3+b4_amd64.deb 20-Aug-2026 00:43 382200
libcvc4parser7_1.8-3+b4_i386.deb 13-Jan-2026 13:17 411984
libcvc4parser7_1.8-3_amd64.deb 20-Aug-2026 00:45 362304