File Name | File Size | Date |
---|---|---|
Parent directory/ | - | - |
cvc4_1.6-2.debian.tar.xz | 8232 | 13-Aug-2018 20:01 |
cvc4_1.6-2.dsc | 2652 | 13-Aug-2018 20:01 |
cvc4_1.6.orig.tar.gz | 7815893 | 07-Aug-2018 19:44 |
cvc4_1.8-2.debian.tar.xz | 16456 | 18-Sep-2020 01:25 |
cvc4_1.8-2.dsc | 2275 | 18-Sep-2020 01:25 |
cvc4_1.8-2_armhf.deb | 74328 | 29-Sep-2020 22:08 |
cvc4_1.8-3.debian.tar.xz | 16728 | 29-Oct-2022 19:57 |
cvc4_1.8-3.dsc | 2244 | 29-Oct-2022 19:57 |
cvc4_1.8-3_armhf.deb | 73876 | 01-Nov-2022 16:08 |
cvc4_1.8.orig.tar.gz | 7547187 | 13-Sep-2020 23:17 |
libcvc4-7_1.8-2_armhf.deb | 4890236 | 29-Sep-2020 22:08 |
libcvc4-7_1.8-3_armhf.deb | 5228768 | 01-Nov-2022 16:08 |
libcvc4-dev_1.8-2_armhf.deb | 131256 | 29-Sep-2020 22:08 |
libcvc4-dev_1.8-3_armhf.deb | 131116 | 01-Nov-2022 16:08 |
libcvc4parser7_1.8-2_armhf.deb | 324952 | 29-Sep-2020 22:08 |
libcvc4parser7_1.8-3_armhf.deb | 317556 | 01-Nov-2022 16:08 |