| 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.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-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 |
| 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 |
