Index of /debian/pool/main/c/cvc4
Name
Last modified
Size
Description
Parent Directory
-
cvc4_1.8-2.debian.tar.xz
2020-09-17 20:25
16K
cvc4_1.8-3.debian.tar.xz
2022-10-29 14:57
16K
cvc4_1.8-4.debian.tar.xz
2025-07-27 09:17
17K
cvc4_1.8-4_riscv64.deb
2025-08-12 19:04
77K
cvc4_1.8-3+b4_riscv64.deb
2025-04-09 22:49
77K
cvc4_1.8-2_i386.deb
2020-09-17 21:42
81K
cvc4_1.8-3_i386.deb
2022-10-29 16:23
81K
cvc4_1.8-4_i386.deb
2025-08-11 11:04
83K
cvc4_1.8-3+b4_i386.deb
2025-04-07 11:36
83K
libcvc4-dev_1.8-3_i386.deb
2022-10-29 16:23
128K
libcvc4-dev_1.8-4_riscv64.deb
2025-08-12 19:05
128K
libcvc4-dev_1.8-4_i386.deb
2025-08-11 11:04
128K
libcvc4-dev_1.8-2_i386.deb
2020-09-17 21:42
128K
libcvc4-dev_1.8-3+b4_i386.deb
2025-04-07 11:36
128K
libcvc4-dev_1.8-3+b4_riscv64.deb
2025-04-09 22:49
128K
libcvc4parser7_1.8-4_riscv64.deb
2025-08-12 19:05
362K
libcvc4parser7_1.8-3+b4_riscv64.deb
2025-04-09 22:49
363K
libcvc4parser7_1.8-2_i386.deb
2020-09-17 21:42
374K
libcvc4parser7_1.8-3_i386.deb
2022-10-29 16:23
379K
libcvc4parser7_1.8-4_i386.deb
2025-08-11 11:04
402K
libcvc4parser7_1.8-3+b4_i386.deb
2025-04-07 11:36
402K
libcvc4-7_1.8-2_i386.deb
2020-09-17 21:42
5.9M
libcvc4-7_1.8-4_riscv64.deb
2025-08-12 19:05
6.2M
libcvc4-7_1.8-3+b4_riscv64.deb
2025-04-09 22:49
6.2M
libcvc4-7_1.8-3_i386.deb
2022-10-29 16:23
6.4M
libcvc4-7_1.8-4_i386.deb
2025-08-11 11:04
6.8M
libcvc4-7_1.8-3+b4_i386.deb
2025-04-07 11:36
6.8M
Apache/2.4.29 (Ubuntu) Server at ubuntu1.gcfl.net Port 80