Index of /debian/pool/main/c/cvc5/
../
cvc5_1.0.3-1_amd64.deb 16-Dec-2025 21:54 107900
cvc5_1.1.1-1_amd64.deb 24-Apr-2024 02:22 109188
cvc5_1.1.2-2+b1_amd64.deb 29-Oct-2024 23:21 111012
cvc5_1.1.2-2+b1_i386.deb 29-Oct-2024 23:22 113668
cvc5_1.1.2-2+b2_amd64.deb 26-Jan-2025 19:13 108004
cvc5_1.1.2-2+b2_i386.deb 26-Jan-2025 19:13 111820
cvc5_1.1.2-2+b3_amd64.deb 16-Dec-2025 21:51 109176
cvc5_1.1.2-2+b3_i386.deb 16-Dec-2025 21:52 111940
cvc5_1.1.2-2_amd64.deb 07-Jul-2024 20:30 110792
cvc5_1.1.2-2_i386.deb 07-Jul-2024 20:31 113520
libcvc5-1_1.0.3-1_amd64.deb 16-Dec-2025 21:54 5841260
libcvc5-1_1.1.1-1_amd64.deb 24-Apr-2024 02:22 6295236
libcvc5-1_1.1.2-2+b1_amd64.deb 29-Oct-2024 23:21 6412324
libcvc5-1_1.1.2-2+b1_i386.deb 29-Oct-2024 23:22 7028072
libcvc5-1_1.1.2-2+b2_amd64.deb 26-Jan-2025 19:13 6679788
libcvc5-1_1.1.2-2+b2_i386.deb 26-Jan-2025 19:13 7246948
libcvc5-1_1.1.2-2+b3_amd64.deb 16-Dec-2025 21:51 6682620
libcvc5-1_1.1.2-2+b3_i386.deb 16-Dec-2025 21:52 7251204
libcvc5-1_1.1.2-2_amd64.deb 07-Jul-2024 20:30 6413360
libcvc5-1_1.1.2-2_i386.deb 07-Jul-2024 20:31 7028772
libcvc5-dev_1.0.3-1_amd64.deb 16-Dec-2025 21:54 58584
libcvc5-dev_1.1.1-1_amd64.deb 24-Apr-2024 02:22 79640
libcvc5-dev_1.1.2-2+b1_amd64.deb 29-Oct-2024 23:21 93216
libcvc5-dev_1.1.2-2+b1_i386.deb 29-Oct-2024 23:22 93196
libcvc5-dev_1.1.2-2+b2_amd64.deb 26-Jan-2025 19:13 93268
libcvc5-dev_1.1.2-2+b2_i386.deb 26-Jan-2025 19:13 93256
libcvc5-dev_1.1.2-2+b3_amd64.deb 16-Dec-2025 21:51 93296
libcvc5-dev_1.1.2-2+b3_i386.deb 16-Dec-2025 21:52 93252
libcvc5-dev_1.1.2-2_amd64.deb 07-Jul-2024 20:30 92956
libcvc5-dev_1.1.2-2_i386.deb 07-Jul-2024 20:31 92948
libcvc5parser1_1.0.3-1_amd64.deb 16-Dec-2025 21:54 306872
libcvc5parser1_1.1.1-1_amd64.deb 24-Apr-2024 02:22 231856
libcvc5parser1_1.1.2-2+b1_amd64.deb 29-Oct-2024 23:21 235060
libcvc5parser1_1.1.2-2+b1_i386.deb 29-Oct-2024 23:22 254328
libcvc5parser1_1.1.2-2+b2_amd64.deb 26-Jan-2025 19:13 236316
libcvc5parser1_1.1.2-2+b2_i386.deb 26-Jan-2025 19:13 257740
libcvc5parser1_1.1.2-2+b3_amd64.deb 16-Dec-2025 21:51 236752
libcvc5parser1_1.1.2-2+b3_i386.deb 16-Dec-2025 21:52 257908
libcvc5parser1_1.1.2-2_amd64.deb 07-Jul-2024 20:30 234136
libcvc5parser1_1.1.2-2_i386.deb 07-Jul-2024 20:31 253676
python3-cvc5_1.1.1-1_amd64.deb 24-Apr-2024 02:22 324272
python3-cvc5_1.1.2-2+b1_amd64.deb 29-Oct-2024 23:21 335544
python3-cvc5_1.1.2-2+b1_i386.deb 29-Oct-2024 23:22 317696
python3-cvc5_1.1.2-2+b2_amd64.deb 26-Jan-2025 19:13 339356
python3-cvc5_1.1.2-2+b2_i386.deb 26-Jan-2025 19:13 323252
python3-cvc5_1.1.2-2+b3_amd64.deb 16-Dec-2025 21:51 339080
python3-cvc5_1.1.2-2+b3_i386.deb 16-Dec-2025 21:52 325448
python3-cvc5_1.1.2-2_amd64.deb 07-Jul-2024 20:30 328644
python3-cvc5_1.1.2-2_i386.deb 07-Jul-2024 20:31 315024