| name | size | date |
|---|---|---|
| cvc4_1.8-5_amd64v3.deb | 69.8K | 2025-10-28 00:28:58 |
| libcvc4-7_1.8-5_amd64v3.deb | 4.83M | 2025-10-28 00:28:58 |
| libcvc4-dev_1.8-5_amd64v3.deb | 122.3K | 2025-10-28 00:28:57 |
| libcvc4parser7_1.8-5_amd64v3.deb | 385.5K | 2025-10-28 00:28:57 |
| cvc4_1.8-5_amd64.deb | 68.7K | 2025-10-28 00:16:27 |
| libcvc4-7_1.8-5_amd64.deb | 4.69M | 2025-10-28 00:16:27 |
| libcvc4-dev_1.8-5_amd64.deb | 122.3K | 2025-10-28 00:16:26 |
| libcvc4parser7_1.8-5_amd64.deb | 375.1K | 2025-10-28 00:16:26 |
| cvc4_1.8-5.debian.tar.xz | 17.2K | 2025-10-28 00:01:55 |
| cvc4_1.8-5.dsc | 1.8K | 2025-10-28 00:01:54 |
| cvc4_1.8-3build2_amd64.deb | 73.6K | 2024-03-31 20:36:19 |
| libcvc4-7_1.8-3build2_amd64.deb | 4.52M | 2024-03-31 20:36:19 |
| libcvc4-dev_1.8-3build2_amd64.deb | 122.3K | 2024-03-31 20:36:18 |
| libcvc4parser7_1.8-3build2_amd64.deb | 365.1K | 2024-03-31 20:36:18 |
| cvc4_1.8-3build2.debian.tar.xz | 16.5K | 2024-03-31 18:36:43 |
| cvc4_1.8-3build2.dsc | 2.3K | 2024-03-31 18:36:43 |
| cvc4_1.8-2_amd64.deb | 71.6K | 2020-09-30 16:28:33 |
| libcvc4-7_1.8-2_amd64.deb | 5.40M | 2020-09-30 16:28:33 |
| libcvc4-dev_1.8-2_amd64.deb | 120.3K | 2020-09-30 16:28:33 |
| libcvc4parser7_1.8-2_amd64.deb | 349.1K | 2020-09-30 16:28:33 |
| cvc4_1.8-2.debian.tar.xz | 16.1K | 2020-09-30 15:43:40 |
| cvc4_1.8-2.dsc | 2.2K | 2020-09-30 15:43:39 |
| cvc4_1.8.orig.tar.gz | 7.20M | 2020-09-30 15:43:39 |
| cvc4_1.6-2build2_amd64.deb | 134.5K | 2020-02-03 23:45:00 |
| libcvc4-5_1.6-2build2_amd64.deb | 4.30M | 2020-02-03 23:45:00 |
| libcvc4-dev_1.6-2build2_amd64.deb | 6.96M | 2020-02-03 23:45:00 |
| libcvc4parser5_1.6-2build2_amd64.deb | 355.6K | 2020-02-03 23:45:00 |
| cvc4_1.6-2build2.debian.tar.xz | 8.2K | 2020-02-03 22:24:25 |
| cvc4_1.6-2build2.dsc | 2.7K | 2020-02-03 22:24:25 |
| cvc4_1.6.orig.tar.gz | 7.45M | 2018-08-12 05:13:23 |
| cvc4_1.5-1_i386.deb | 139.5K | 2017-11-03 06:59:19 |
| libcvc4parser4_1.5-1_i386.deb | 381.1K | 2017-11-03 06:59:19 |
| libcvc4-4_1.5-1_i386.deb | 3.45M | 2017-11-03 06:59:18 |
| libcvc4-dev_1.5-1_i386.deb | 6.09M | 2017-11-03 06:59:18 |
| cvc4_1.5-1_amd64.deb | 135.4K | 2017-11-03 06:57:06 |
| libcvc4-4_1.5-1_amd64.deb | 3.22M | 2017-11-03 06:57:06 |
| libcvc4-dev_1.5-1_amd64.deb | 5.69M | 2017-11-03 06:57:06 |
| libcvc4parser4_1.5-1_amd64.deb | 355.2K | 2017-11-03 06:57:06 |
| cvc4_1.5-1.debian.tar.xz | 5.9K | 2017-11-01 13:57:17 |
| cvc4_1.5-1.dsc | 2.2K | 2017-11-01 13:57:10 |
| cvc4_1.5.orig.tar.gz | 7.56M | 2017-11-01 13:57:10 |