| ../ |
- |
- |
| cvc4_1.5-1.debian.tar.xz |
5.9 KB |
2017-11-01 13:57 |
| cvc4_1.5-1.dsc |
2.2 KB |
2017-11-01 13:57 |
| cvc4_1.5-1_amd64.deb |
135.4 KB |
2017-11-03 06:57 |
| cvc4_1.5-1_i386.deb |
139.5 KB |
2017-11-03 06:59 |
| cvc4_1.5.orig.tar.gz |
7.6 MB |
2017-11-01 13:57 |
| cvc4_1.6-2build2.debian.tar.xz |
8.2 KB |
2020-02-03 22:24 |
| cvc4_1.6-2build2.dsc |
2.7 KB |
2020-02-03 22:24 |
| cvc4_1.6-2build2_amd64.deb |
134.5 KB |
2020-02-03 23:45 |
| cvc4_1.6.orig.tar.gz |
7.5 MB |
2018-08-12 05:13 |
| cvc4_1.8-2.debian.tar.xz |
16.1 KB |
2020-09-30 15:43 |
| cvc4_1.8-2.dsc |
2.2 KB |
2020-09-30 15:43 |
| cvc4_1.8-2_amd64.deb |
71.6 KB |
2020-09-30 16:28 |
| cvc4_1.8-3build2.debian.tar.xz |
16.5 KB |
2024-03-31 18:36 |
| cvc4_1.8-3build2.dsc |
2.3 KB |
2024-03-31 18:36 |
| cvc4_1.8-3build2_amd64.deb |
73.6 KB |
2024-03-31 20:36 |
| cvc4_1.8-3build2_arm64.deb |
69.9 KB |
2024-04-02 01:07 |
| cvc4_1.8-5.debian.tar.xz |
17.2 KB |
2025-10-28 00:01 |
| cvc4_1.8-5.dsc |
1.8 KB |
2025-10-28 00:01 |
| cvc4_1.8-5_amd64.deb |
68.7 KB |
2025-10-28 00:16 |
| cvc4_1.8-5_amd64v3.deb |
69.8 KB |
2025-10-28 00:28 |
| cvc4_1.8-5_arm64.deb |
65.1 KB |
2025-10-28 06:36 |
| cvc4_1.8.orig.tar.gz |
7.2 MB |
2020-09-30 15:43 |
| libcvc4-4_1.5-1_amd64.deb |
3.2 MB |
2017-11-03 06:57 |
| libcvc4-4_1.5-1_i386.deb |
3.5 MB |
2017-11-03 06:59 |
| libcvc4-5_1.6-2build2_amd64.deb |
4.3 MB |
2020-02-03 23:45 |
| libcvc4-7_1.8-2_amd64.deb |
5.4 MB |
2020-09-30 16:28 |
| libcvc4-7_1.8-3build2_amd64.deb |
4.5 MB |
2024-03-31 20:36 |
| libcvc4-7_1.8-3build2_arm64.deb |
4.1 MB |
2024-04-02 01:07 |
| libcvc4-7_1.8-5_amd64.deb |
4.7 MB |
2025-10-28 00:16 |
| libcvc4-7_1.8-5_amd64v3.deb |
4.8 MB |
2025-10-28 00:28 |
| libcvc4-7_1.8-5_arm64.deb |
4.3 MB |
2025-10-28 06:36 |
| libcvc4-dev_1.5-1_amd64.deb |
5.7 MB |
2017-11-03 06:57 |
| libcvc4-dev_1.5-1_i386.deb |
6.1 MB |
2017-11-03 06:59 |
| libcvc4-dev_1.6-2build2_amd64.deb |
7.0 MB |
2020-02-03 23:45 |
| libcvc4-dev_1.8-2_amd64.deb |
120.3 KB |
2020-09-30 16:28 |
| libcvc4-dev_1.8-3build2_amd64.deb |
122.3 KB |
2024-03-31 20:36 |
| libcvc4-dev_1.8-3build2_arm64.deb |
122.3 KB |
2024-04-02 01:07 |
| libcvc4-dev_1.8-5_amd64.deb |
122.3 KB |
2025-10-28 00:16 |
| libcvc4-dev_1.8-5_amd64v3.deb |
122.3 KB |
2025-10-28 00:28 |
| libcvc4-dev_1.8-5_arm64.deb |
122.3 KB |
2025-10-28 06:36 |
| libcvc4parser4_1.5-1_amd64.deb |
355.2 KB |
2017-11-03 06:57 |
| libcvc4parser4_1.5-1_i386.deb |
381.1 KB |
2017-11-03 06:59 |
| libcvc4parser5_1.6-2build2_amd64.deb |
355.6 KB |
2020-02-03 23:45 |
| libcvc4parser7_1.8-2_amd64.deb |
349.1 KB |
2020-09-30 16:28 |
| libcvc4parser7_1.8-3build2_amd64.deb |
365.1 KB |
2024-03-31 20:36 |
| libcvc4parser7_1.8-3build2_arm64.deb |
345.3 KB |
2024-04-02 01:07 |
| libcvc4parser7_1.8-5_amd64.deb |
375.1 KB |
2025-10-28 00:16 |
| libcvc4parser7_1.8-5_amd64v3.deb |
385.5 KB |
2025-10-28 00:28 |
| libcvc4parser7_1.8-5_arm64.deb |
358.6 KB |
2025-10-28 06:36 |