| name | size | date |
|---|---|---|
| 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-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-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.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 |