| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| cvc4_1.8-3_armhf.deb | 2022-Nov-01 17:08:05 | 72.1K | application/vnd.debian.binary-package |
| libcvc4-7_1.8-3_armhf.deb | 2022-Nov-01 17:08:05 | 4.9M | application/vnd.debian.binary-package |
| libcvc4-dev_1.8-3_armhf.deb | 2022-Nov-01 17:08:05 | 128.0K | application/vnd.debian.binary-package |
| libcvc4parser7_1.8-3_armhf.deb | 2022-Nov-01 17:08:05 | 310.1K | application/vnd.debian.binary-package |