Index of /ubuntu-ports/pool/universe/c/cvc4

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] cvc4_1.5-1.dsc 2017-11-01 14:57 2.2K [   ] cvc4_1.5.orig.tar.gz 2017-11-01 14:57 7.6M [   ] cvc4_1.5-1.debian.tar.xz 2017-11-01 14:57 5.9K [   ] cvc4_1.6.orig.tar.gz 2018-08-12 07:13 7.5M [   ] cvc4_1.6-2build2.debian.tar.xz 2020-02-03 23:24 8.2K [   ] cvc4_1.6-2build2.dsc 2020-02-03 23:24 2.7K [   ] cvc4_1.8-2.dsc 2020-09-30 17:43 2.2K [   ] cvc4_1.8.orig.tar.gz 2020-09-30 17:43 7.2M [   ] cvc4_1.8-2.debian.tar.xz 2020-09-30 17:43 16K [   ] cvc4_1.8-2_ppc64el.deb 2020-09-30 17:58 70K [   ] libcvc4-dev_1.8-2_ppc64el.deb 2020-09-30 17:58 120K [   ] libcvc4parser7_1.8-2_ppc64el.deb 2020-09-30 17:58 338K [   ] libcvc4-7_1.8-2_ppc64el.deb 2020-09-30 17:58 5.1M [   ] libcvc4-dev_1.8-2_s390x.deb 2020-09-30 17:58 120K [   ] libcvc4-7_1.8-2_s390x.deb 2020-09-30 17:58 5.2M [   ] libcvc4parser7_1.8-2_s390x.deb 2020-09-30 17:58 324K [   ] cvc4_1.8-2_s390x.deb 2020-09-30 17:58 67K [   ] cvc4_1.8-2_arm64.deb 2020-09-30 18:43 66K [   ] libcvc4parser7_1.8-2_arm64.deb 2020-09-30 18:43 311K [   ] libcvc4-dev_1.8-2_arm64.deb 2020-09-30 18:43 120K [   ] libcvc4-7_1.8-2_arm64.deb 2020-09-30 18:43 4.6M [   ] cvc4_1.8-2_armhf.deb 2020-09-30 19:43 66K [   ] libcvc4-dev_1.8-2_armhf.deb 2020-09-30 19:43 120K [   ] libcvc4-7_1.8-2_armhf.deb 2020-09-30 19:43 4.8M [   ] libcvc4parser7_1.8-2_armhf.deb 2020-09-30 19:43 312K [   ] cvc4_1.8-2_riscv64.deb 2020-09-30 21:03 67K [   ] libcvc4parser7_1.8-2_riscv64.deb 2020-09-30 21:03 332K [   ] libcvc4-dev_1.8-2_riscv64.deb 2020-09-30 21:03 120K [   ] libcvc4-7_1.8-2_riscv64.deb 2020-09-30 21:03 5.2M [   ] cvc4_1.8-3build2.debian.tar.xz 2024-03-31 20:36 16K [   ] cvc4_1.8-3build2.dsc 2024-03-31 20:36 2.3K [   ] libcvc4parser7_1.8-3build2_arm64.deb 2024-04-02 03:07 345K [   ] libcvc4-dev_1.8-3build2_arm64.deb 2024-04-02 03:07 122K [   ] libcvc4-7_1.8-3build2_arm64.deb 2024-04-02 03:07 4.1M [   ] cvc4_1.8-3build2_arm64.deb 2024-04-02 03:07 70K [   ] libcvc4parser7_1.8-3build2_armhf.deb 2024-04-02 04:14 357K [   ] libcvc4-dev_1.8-3build2_armhf.deb 2024-04-02 04:14 122K [   ] libcvc4-7_1.8-3build2_armhf.deb 2024-04-02 04:14 5.9M [   ] cvc4_1.8-3build2_armhf.deb 2024-04-02 04:14 72K [   ] libcvc4parser7_1.8-3build2_ppc64el.deb 2024-04-02 07:58 374K [   ] libcvc4-dev_1.8-3build2_ppc64el.deb 2024-04-02 07:58 122K [   ] libcvc4-7_1.8-3build2_ppc64el.deb 2024-04-02 07:58 4.5M [   ] cvc4_1.8-3build2_ppc64el.deb 2024-04-02 07:58 75K [   ] libcvc4parser7_1.8-3build2_s390x.deb 2024-04-02 13:03 408K [   ] libcvc4-dev_1.8-3build2_s390x.deb 2024-04-02 13:03 122K [   ] libcvc4-7_1.8-3build2_s390x.deb 2024-04-02 13:03 4.8M [   ] cvc4_1.8-3build2_s390x.deb 2024-04-02 13:03 75K [   ] libcvc4parser7_1.8-3build2_riscv64.deb 2024-04-04 03:07 378K [   ] libcvc4-dev_1.8-3build2_riscv64.deb 2024-04-04 03:07 122K [   ] libcvc4-7_1.8-3build2_riscv64.deb 2024-04-04 03:07 6.4M [   ] cvc4_1.8-3build2_riscv64.deb 2024-04-04 03:07 75K
Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 80