Index of /ubuntu-ports/pool/universe/c/cvc4/
../ cvc4_1.5-1.debian.tar.xz 01-Nov-2017 20:57 6012 cvc4_1.5-1.dsc 01-Nov-2017 20:57 2221 cvc4_1.5.orig.tar.gz 01-Nov-2017 20:57 8M cvc4_1.6-2build2.debian.tar.xz 04-Feb-2020 05:24 8392 cvc4_1.6-2build2.dsc 04-Feb-2020 05:24 2755 cvc4_1.6.orig.tar.gz 12-Aug-2018 12:13 7M cvc4_1.8-2.debian.tar.xz 30-Sep-2020 22:43 16K cvc4_1.8-2.dsc 30-Sep-2020 22:43 2275 cvc4_1.8-2_arm64.deb 30-Sep-2020 23:43 66K cvc4_1.8-2_armhf.deb 01-Oct-2020 00:43 66K cvc4_1.8-2_ppc64el.deb 30-Sep-2020 22:58 70K cvc4_1.8-2_riscv64.deb 01-Oct-2020 02:03 67K cvc4_1.8-2_s390x.deb 30-Sep-2020 22:58 67K cvc4_1.8-3.debian.tar.xz 06-Nov-2022 10:17 16K cvc4_1.8-3.dsc 06-Nov-2022 10:17 2244 cvc4_1.8-3_arm64.deb 06-Nov-2022 13:20 70K cvc4_1.8-3_armhf.deb 06-Nov-2022 12:42 71K cvc4_1.8-3_ppc64el.deb 06-Nov-2022 12:43 74K cvc4_1.8-3_riscv64.deb 06-Nov-2022 17:49 72K cvc4_1.8-3_s390x.deb 06-Nov-2022 12:44 70K cvc4_1.8.orig.tar.gz 30-Sep-2020 22:43 7M libcvc4-7_1.8-2_arm64.deb 30-Sep-2020 23:43 5M libcvc4-7_1.8-2_armhf.deb 01-Oct-2020 00:43 5M libcvc4-7_1.8-2_ppc64el.deb 30-Sep-2020 22:58 5M libcvc4-7_1.8-2_riscv64.deb 01-Oct-2020 02:03 5M libcvc4-7_1.8-2_s390x.deb 30-Sep-2020 22:58 5M libcvc4-7_1.8-3_arm64.deb 06-Nov-2022 13:20 4M libcvc4-7_1.8-3_armhf.deb 06-Nov-2022 12:42 6M libcvc4-7_1.8-3_ppc64el.deb 06-Nov-2022 12:43 4M libcvc4-7_1.8-3_riscv64.deb 06-Nov-2022 17:49 6M libcvc4-7_1.8-3_s390x.deb 06-Nov-2022 12:44 4M libcvc4-dev_1.8-2_arm64.deb 30-Sep-2020 23:43 120K libcvc4-dev_1.8-2_armhf.deb 01-Oct-2020 00:43 120K libcvc4-dev_1.8-2_ppc64el.deb 30-Sep-2020 22:58 120K libcvc4-dev_1.8-2_riscv64.deb 01-Oct-2020 02:03 120K libcvc4-dev_1.8-2_s390x.deb 30-Sep-2020 22:58 120K libcvc4-dev_1.8-3_arm64.deb 06-Nov-2022 13:20 122K libcvc4-dev_1.8-3_armhf.deb 06-Nov-2022 12:42 122K libcvc4-dev_1.8-3_ppc64el.deb 06-Nov-2022 12:43 122K libcvc4-dev_1.8-3_riscv64.deb 06-Nov-2022 17:49 122K libcvc4-dev_1.8-3_s390x.deb 06-Nov-2022 12:44 122K libcvc4parser7_1.8-2_arm64.deb 30-Sep-2020 23:43 311K libcvc4parser7_1.8-2_armhf.deb 01-Oct-2020 00:43 312K libcvc4parser7_1.8-2_ppc64el.deb 30-Sep-2020 22:58 338K libcvc4parser7_1.8-2_riscv64.deb 01-Oct-2020 02:03 332K libcvc4parser7_1.8-2_s390x.deb 30-Sep-2020 22:58 324K libcvc4parser7_1.8-3_arm64.deb 06-Nov-2022 13:20 347K libcvc4parser7_1.8-3_armhf.deb 06-Nov-2022 12:42 360K libcvc4parser7_1.8-3_ppc64el.deb 06-Nov-2022 12:43 377K libcvc4parser7_1.8-3_riscv64.deb 06-Nov-2022 17:49 366K libcvc4parser7_1.8-3_s390x.deb 06-Nov-2022 12:44 342K