Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
cvc4_1.5-1.debian.tar.xz | 2017-11-20 10:42 | 5.9K | ||
cvc4_1.5-1.dsc | 2017-11-20 10:42 | 2.2K | ||
cvc4_1.5.orig.tar.gz | 2017-11-20 10:42 | 7.6M | ||
cvc4_1.6-2.debian.tar.xz | 2019-09-04 15:06 | 8.0K | ||
cvc4_1.6-2.dsc | 2019-09-04 15:06 | 2.6K | ||
cvc4_1.6.orig.tar.gz | 2019-09-04 15:06 | 7.5M | ||
cvc4_1.8-2.debian.tar.xz | 2021-09-22 18:59 | 16K | ||
cvc4_1.8-2.dsc | 2021-09-22 18:59 | 2.2K | ||
cvc4_1.8-3.debian.tar.xz | 2023-07-16 00:21 | 16K | ||
cvc4_1.8-3.dsc | 2023-07-16 00:21 | 2.2K | ||
cvc4_1.8.orig.tar.gz | 2021-09-22 18:59 | 7.2M | ||