| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| cvc4_1.5-1.debian.tar.xz | 6012 | 31-Jul-2017 19:00 |
| cvc4_1.5-1.dsc | 2221 | 31-Jul-2017 19:00 |
| cvc4_1.5-1_amd64.deb | 133K | 31-Jul-2017 19:00 |
| cvc4_1.5.orig.tar.gz | 8M | 31-Jul-2017 19:00 |
| libcvc4-4_1.5-1_amd64.deb | 3M | 31-Jul-2017 19:00 |
| libcvc4-dev_1.5-1_amd64.deb | 6M | 31-Jul-2017 19:00 |
| libcvc4parser4_1.5-1_amd64.deb | 356K | 31-Jul-2017 19:00 |