|
📁 ../
|
- |
- |
|
📄 cvc4_1.5-1.debian.tar.xz
|
6012 bytes
|
2017-11-01 13:57:17 |
|
📄 cvc4_1.5-1.dsc
|
2221 bytes
|
2017-11-01 13:57:10 |
|
📄 cvc4_1.5-1_amd64.deb
|
138624 bytes
|
2017-11-03 06:57:06 |
|
📄 cvc4_1.5-1_i386.deb
|
142804 bytes
|
2017-11-03 06:59:19 |
|
📄 cvc4_1.5.orig.tar.gz
|
7926116 bytes
|
2017-11-01 13:57:10 |
|
📄 cvc4_1.6-2build2.debian.tar.xz
|
8392 bytes
|
2020-02-03 22:24:25 |
|
📄 cvc4_1.6-2build2.dsc
|
2755 bytes
|
2020-02-03 22:24:25 |
|
📄 cvc4_1.6-2build2_amd64.deb
|
137732 bytes
|
2020-02-03 23:45:00 |
|
📄 cvc4_1.6.orig.tar.gz
|
7815893 bytes
|
2018-08-12 05:13:23 |
|
📄 cvc4_1.8-2.debian.tar.xz
|
16456 bytes
|
2020-09-30 15:43:40 |
|
📄 cvc4_1.8-2.dsc
|
2275 bytes
|
2020-09-30 15:43:39 |
|
📄 cvc4_1.8-2_amd64.deb
|
73336 bytes
|
2020-09-30 16:28:33 |
|
📄 cvc4_1.8-3build2.debian.tar.xz
|
16876 bytes
|
2024-03-31 18:36:43 |
|
📄 cvc4_1.8-3build2.dsc
|
2363 bytes
|
2024-03-31 18:36:43 |
|
📄 cvc4_1.8-3build2_amd64.deb
|
75388 bytes
|
2024-03-31 20:36:19 |
|
📄 cvc4_1.8-5.debian.tar.xz
|
17608 bytes
|
2025-10-28 00:01:55 |
|
📄 cvc4_1.8-5.dsc
|
1861 bytes
|
2025-10-28 00:01:54 |
|
📄 cvc4_1.8-5_amd64.deb
|
70364 bytes
|
2025-10-28 00:16:27 |
|
📄 cvc4_1.8-5_amd64v3.deb
|
71496 bytes
|
2025-10-28 00:28:58 |
|
📄 cvc4_1.8.orig.tar.gz
|
7547187 bytes
|
2020-09-30 15:43:39 |
|
📄 libcvc4-4_1.5-1_amd64.deb
|
3375660 bytes
|
2017-11-03 06:57:06 |
|
📄 libcvc4-4_1.5-1_i386.deb
|
3618828 bytes
|
2017-11-03 06:59:18 |
|
📄 libcvc4-5_1.6-2build2_amd64.deb
|
4512744 bytes
|
2020-02-03 23:45:00 |
|
📄 libcvc4-7_1.8-2_amd64.deb
|
5659900 bytes
|
2020-09-30 16:28:33 |
|
📄 libcvc4-7_1.8-3build2_amd64.deb
|
4734878 bytes
|
2024-03-31 20:36:19 |
|
📄 libcvc4-7_1.8-5_amd64.deb
|
4918224 bytes
|
2025-10-28 00:16:27 |
|
📄 libcvc4-7_1.8-5_amd64v3.deb
|
5060584 bytes
|
2025-10-28 00:28:58 |
|
📄 libcvc4-dev_1.5-1_amd64.deb
|
5968312 bytes
|
2017-11-03 06:57:06 |
|
📄 libcvc4-dev_1.5-1_i386.deb
|
6384320 bytes
|
2017-11-03 06:59:18 |
|
📄 libcvc4-dev_1.6-2build2_amd64.deb
|
7295824 bytes
|
2020-02-03 23:45:00 |
|
📄 libcvc4-dev_1.8-2_amd64.deb
|
123212 bytes
|
2020-09-30 16:28:33 |
|
📄 libcvc4-dev_1.8-3build2_amd64.deb
|
125256 bytes
|
2024-03-31 20:36:18 |
|
📄 libcvc4-dev_1.8-5_amd64.deb
|
125236 bytes
|
2025-10-28 00:16:26 |
|
📄 libcvc4-dev_1.8-5_amd64v3.deb
|
125246 bytes
|
2025-10-28 00:28:57 |
|
📄 libcvc4parser4_1.5-1_amd64.deb
|
363676 bytes
|
2017-11-03 06:57:06 |
|
📄 libcvc4parser4_1.5-1_i386.deb
|
390272 bytes
|
2017-11-03 06:59:19 |
|
📄 libcvc4parser5_1.6-2build2_amd64.deb
|
364108 bytes
|
2020-02-03 23:45:00 |
|
📄 libcvc4parser7_1.8-2_amd64.deb
|
357524 bytes
|
2020-09-30 16:28:33 |
|
📄 libcvc4parser7_1.8-3build2_amd64.deb
|
373822 bytes
|
2024-03-31 20:36:18 |
|
📄 libcvc4parser7_1.8-5_amd64.deb
|
384090 bytes
|
2025-10-28 00:16:26 |
|
📄 libcvc4parser7_1.8-5_amd64v3.deb
|
394762 bytes
|
2025-10-28 00:28:57 |