| Name | Size | Modified | ||
|---|---|---|---|---|
| Go up | — | — | ||
| cvc4_1.8-3+b3_amd64.deb | 80 KiB | |||
| libcvc4-7_1.8-3+b3_amd64.deb | 5.7 MiB | |||
| libcvc4-dev_1.8-3+b3_amd64.deb | 128 KiB | |||
| libcvc4parser7_1.8-3+b3_amd64.deb | 357 KiB |
| Name | Size | Modified | ||
|---|---|---|---|---|
| Go up | — | — | ||
| cvc4_1.8-3+b3_amd64.deb | 80 KiB | |||
| libcvc4-7_1.8-3+b3_amd64.deb | 5.7 MiB | |||
| libcvc4-dev_1.8-3+b3_amd64.deb | 128 KiB | |||
| libcvc4parser7_1.8-3+b3_amd64.deb | 357 KiB |