| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| cvc4_1.6-2+b1_amd64.deb | 2018-Nov-17 12:57:19 | 133.0K | application/vnd.debian.binary-package |
| libcvc4-5_1.6-2+b1_amd64.deb | 2018-Nov-17 12:57:20 | 3.8M | application/vnd.debian.binary-package |
| libcvc4-dev_1.6-2+b1_amd64.deb | 2018-Nov-17 12:57:20 | 6.4M | application/vnd.debian.binary-package |
| libcvc4parser5_1.6-2+b1_amd64.deb | 2018-Nov-17 12:57:20 | 354.0K | application/vnd.debian.binary-package |