| cvc4_1.5-1.debian.tar.xz | 5.87 KB | 11/01/2017, 13:57:17 |
| cvc4_1.5-1.dsc | 2.17 KB | 11/01/2017, 13:57:10 |
| cvc4_1.5-1_amd64.deb | 135.38 KB | 11/03/2017, 06:57:06 |
| cvc4_1.5-1_i386.deb | 139.46 KB | 11/03/2017, 06:59:19 |
| cvc4_1.5.orig.tar.gz | 7.56 MB | 11/01/2017, 13:57:10 |
| cvc4_1.6-2build2.debian.tar.xz | 8.20 KB | 02/03/2020, 22:24:25 |
| cvc4_1.6-2build2.dsc | 2.69 KB | 02/03/2020, 22:24:25 |
| cvc4_1.6-2build2_amd64.deb | 134.50 KB | 02/03/2020, 23:45:00 |
| cvc4_1.6.orig.tar.gz | 7.45 MB | 08/12/2018, 05:13:23 |
| cvc4_1.8-2.debian.tar.xz | 16.07 KB | 09/30/2020, 15:43:40 |
| cvc4_1.8-2.dsc | 2.22 KB | 09/30/2020, 15:43:39 |
| cvc4_1.8-2_amd64.deb | 71.62 KB | 09/30/2020, 16:28:33 |
| cvc4_1.8-3build2.debian.tar.xz | 16.48 KB | 03/31/2024, 18:36:43 |
| cvc4_1.8-3build2.dsc | 2.31 KB | 03/31/2024, 18:36:43 |
| cvc4_1.8-3build2_amd64.deb | 73.62 KB | 03/31/2024, 20:36:19 |
| cvc4_1.8-5.debian.tar.xz | 17.20 KB | 10/28/2025, 00:01:55 |
| cvc4_1.8-5.dsc | 1.82 KB | 10/28/2025, 00:01:54 |
| cvc4_1.8-5_amd64.deb | 68.71 KB | 10/28/2025, 00:16:27 |
| cvc4_1.8-5_amd64v3.deb | 69.82 KB | 10/28/2025, 00:28:58 |
| cvc4_1.8.orig.tar.gz | 7.20 MB | 09/30/2020, 15:43:39 |
| libcvc4-4_1.5-1_amd64.deb | 3.22 MB | 11/03/2017, 06:57:06 |
| libcvc4-4_1.5-1_i386.deb | 3.45 MB | 11/03/2017, 06:59:18 |
| libcvc4-5_1.6-2build2_amd64.deb | 4.30 MB | 02/03/2020, 23:45:00 |
| libcvc4-7_1.8-2_amd64.deb | 5.40 MB | 09/30/2020, 16:28:33 |
| libcvc4-7_1.8-3build2_amd64.deb | 4.52 MB | 03/31/2024, 20:36:19 |
| libcvc4-7_1.8-5_amd64.deb | 4.69 MB | 10/28/2025, 00:16:27 |
| libcvc4-7_1.8-5_amd64v3.deb | 4.83 MB | 10/28/2025, 00:28:58 |
| libcvc4-dev_1.5-1_amd64.deb | 5.69 MB | 11/03/2017, 06:57:06 |
| libcvc4-dev_1.5-1_i386.deb | 6.09 MB | 11/03/2017, 06:59:18 |
| libcvc4-dev_1.6-2build2_amd64.deb | 6.96 MB | 02/03/2020, 23:45:00 |
| libcvc4-dev_1.8-2_amd64.deb | 120.32 KB | 09/30/2020, 16:28:33 |
| libcvc4-dev_1.8-3build2_amd64.deb | 122.32 KB | 03/31/2024, 20:36:18 |
| libcvc4-dev_1.8-5_amd64.deb | 122.30 KB | 10/28/2025, 00:16:26 |
| libcvc4-dev_1.8-5_amd64v3.deb | 122.31 KB | 10/28/2025, 00:28:57 |
| libcvc4parser4_1.5-1_amd64.deb | 355.15 KB | 11/03/2017, 06:57:06 |
| libcvc4parser4_1.5-1_i386.deb | 381.13 KB | 11/03/2017, 06:59:19 |
| libcvc4parser5_1.6-2build2_amd64.deb | 355.57 KB | 02/03/2020, 23:45:00 |
| libcvc4parser7_1.8-2_amd64.deb | 349.14 KB | 09/30/2020, 16:28:33 |
| libcvc4parser7_1.8-3build2_amd64.deb | 365.06 KB | 03/31/2024, 20:36:18 |
| libcvc4parser7_1.8-5_amd64.deb | 375.09 KB | 10/28/2025, 00:16:26 |
| libcvc4parser7_1.8-5_amd64v3.deb | 385.51 KB | 10/28/2025, 00:28:57 |
