../ cvc4_1.6-2.debian.tar.xz 13-Aug-2018 20:01 8232 cvc4_1.6-2.dsc 13-Aug-2018 20:01 2652 cvc4_1.6.orig.tar.gz 07-Aug-2018 19:44 7815893 cvc4_1.8-2.debian.tar.xz 18-Sep-2020 01:25 16456 cvc4_1.8-2.dsc 18-Sep-2020 01:25 2275 cvc4_1.8-2_armhf.deb 29-Sep-2020 22:08 74328 cvc4_1.8-3+b1_armhf.deb 08-Jun-2024 10:08 75384 cvc4_1.8-3.debian.tar.xz 29-Oct-2022 19:57 16728 cvc4_1.8-3.dsc 29-Oct-2022 19:57 2244 cvc4_1.8-3_armhf.deb 01-Nov-2022 16:08 73876 cvc4_1.8.orig.tar.gz 13-Sep-2020 23:17 7547187 libcvc4-7_1.8-2_armhf.deb 29-Sep-2020 22:08 4890236 libcvc4-7_1.8-3+b1_armhf.deb 08-Jun-2024 10:08 5278672 libcvc4-7_1.8-3_armhf.deb 01-Nov-2022 16:08 5228768 libcvc4-dev_1.8-2_armhf.deb 29-Sep-2020 22:08 131256 libcvc4-dev_1.8-3+b1_armhf.deb 08-Jun-2024 10:08 131460 libcvc4-dev_1.8-3_armhf.deb 01-Nov-2022 16:08 131116 libcvc4parser7_1.8-2_armhf.deb 29-Sep-2020 22:08 324952 libcvc4parser7_1.8-3+b1_armhf.deb 08-Jun-2024 10:08 320920 libcvc4parser7_1.8-3_armhf.deb 01-Nov-2022 16:08 317556