| Name | Last modified | Size |
|---|---|---|
| Parent Directory | - | |
| cvc4_1.8-3_amd64.deb | 2022-10-29 23:29 | 79K |
| libcvc4-7_1.8-3_amd64.deb | 2022-10-29 23:29 | 5.7M |
| libcvc4-dev_1.8-3_amd64.deb | 2022-10-29 23:29 | 128K |
| libcvc4parser7_1.8-3_amd64.deb | 2022-10-29 23:29 | 354K |
| cvc4_1.8-3+b4_amd64.deb | 2025-04-07 18:25 | 81K |
| libcvc4-7_1.8-3+b4_amd64.deb | 2025-04-07 18:25 | 6.3M |
| libcvc4-dev_1.8-3+b4_amd64.deb | 2025-04-07 18:25 | 128K |
| libcvc4parser7_1.8-3+b4_amd64.deb | 2025-04-07 18:25 | 373K |