| Parent directory/ | - | - |
| cvc4_1.6-2+b1_amd64.deb | 133K | 17-Nov-2018 09:57 |
| cvc4_1.6-2+b1_i386.deb | 136K | 17-Nov-2018 02:59 |
| 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 | 7M | 07-Aug-2018 19:44 |
| cvc4_1.8-2.debian.tar.xz | 16K | 18-Sep-2020 01:25 |
| cvc4_1.8-2.dsc | 2275 | 18-Sep-2020 01:25 |
| cvc4_1.8-2_amd64.deb | 80K | 18-Sep-2020 02:11 |
| cvc4_1.8-2_arm64.deb | 74K | 18-Sep-2020 02:27 |
| cvc4_1.8-2_i386.deb | 81K | 18-Sep-2020 02:42 |
| cvc4_1.8-3.debian.tar.xz | 16K | 29-Oct-2022 19:57 |
| cvc4_1.8-3.dsc | 2244 | 29-Oct-2022 19:57 |
| cvc4_1.8-3_amd64.deb | 79K | 29-Oct-2022 21:29 |
| cvc4_1.8-3_arm64.deb | 74K | 29-Oct-2022 21:47 |
| cvc4_1.8-3_i386.deb | 81K | 29-Oct-2022 21:23 |
| cvc4_1.8-3_riscv64.deb | 77K | 09-Aug-2023 09:21 |
| cvc4_1.8.orig.tar.gz | 7M | 13-Sep-2020 23:17 |
| libcvc4-5_1.6-2+b1_amd64.deb | 4M | 17-Nov-2018 09:57 |
| libcvc4-5_1.6-2+b1_i386.deb | 4M | 17-Nov-2018 02:59 |
| libcvc4-7_1.8-2_amd64.deb | 5M | 18-Sep-2020 02:11 |
| libcvc4-7_1.8-2_arm64.deb | 5M | 18-Sep-2020 02:27 |
| libcvc4-7_1.8-2_i386.deb | 6M | 18-Sep-2020 02:42 |
| libcvc4-7_1.8-3_amd64.deb | 6M | 29-Oct-2022 21:29 |
| libcvc4-7_1.8-3_arm64.deb | 5M | 29-Oct-2022 21:47 |
| libcvc4-7_1.8-3_i386.deb | 6M | 29-Oct-2022 21:23 |
| libcvc4-7_1.8-3_riscv64.deb | 6M | 09-Aug-2023 09:21 |
| libcvc4-dev_1.6-2+b1_amd64.deb | 6M | 17-Nov-2018 09:57 |
| libcvc4-dev_1.6-2+b1_i386.deb | 7M | 17-Nov-2018 02:59 |
| libcvc4-dev_1.8-2_amd64.deb | 128K | 18-Sep-2020 02:11 |
| libcvc4-dev_1.8-2_arm64.deb | 128K | 18-Sep-2020 02:27 |
| libcvc4-dev_1.8-2_i386.deb | 128K | 18-Sep-2020 02:42 |
| libcvc4-dev_1.8-3_amd64.deb | 128K | 29-Oct-2022 21:29 |
| libcvc4-dev_1.8-3_arm64.deb | 128K | 29-Oct-2022 21:47 |
| libcvc4-dev_1.8-3_i386.deb | 128K | 29-Oct-2022 21:23 |
| libcvc4-dev_1.8-3_riscv64.deb | 128K | 09-Aug-2023 09:21 |
| libcvc4parser5_1.6-2+b1_amd64.deb | 354K | 17-Nov-2018 09:57 |
| libcvc4parser5_1.6-2+b1_i386.deb | 380K | 17-Nov-2018 02:59 |
| libcvc4parser7_1.8-2_amd64.deb | 358K | 18-Sep-2020 02:11 |
| libcvc4parser7_1.8-2_arm64.deb | 321K | 18-Sep-2020 02:27 |
| libcvc4parser7_1.8-2_i386.deb | 374K | 18-Sep-2020 02:42 |
| libcvc4parser7_1.8-3_amd64.deb | 354K | 29-Oct-2022 21:29 |
| libcvc4parser7_1.8-3_arm64.deb | 315K | 29-Oct-2022 21:47 |
| libcvc4parser7_1.8-3_i386.deb | 379K | 29-Oct-2022 21:23 |
| libcvc4parser7_1.8-3_riscv64.deb | 345K | 09-Aug-2023 09:21 |