Index of /ubuntu-ports/pool/universe/c/cvc5
Name Last modified Size Description
Parent Directory -
python3-cvc5_1.1.2-2build1_s390x.deb 2025-01-03 22:45 387K
python3-cvc5_1.1.2-2build1_riscv64.deb 2025-01-05 15:06 353K
python3-cvc5_1.1.2-2build1_ppc64el.deb 2025-01-04 03:07 323K
python3-cvc5_1.1.2-2build1_armhf.deb 2025-01-03 22:44 346K
python3-cvc5_1.1.2-2build1_arm64.deb 2025-01-03 22:44 331K
python3-cvc5_1.1.2-2_s390x.deb 2024-05-03 06:30 384K
python3-cvc5_1.1.2-2_riscv64.deb 2024-05-06 13:59 341K
python3-cvc5_1.1.2-2_ppc64el.deb 2024-05-03 05:31 324K
python3-cvc5_1.1.2-2_armhf.deb 2024-05-09 13:31 342K
python3-cvc5_1.1.2-2_arm64.deb 2024-05-03 10:35 328K
python3-cvc5_1.1.2-1build1_s390x.deb 2024-04-02 13:03 382K
python3-cvc5_1.1.2-1build1_riscv64.deb 2024-04-04 04:27 341K
python3-cvc5_1.1.2-1build1_ppc64el.deb 2024-04-02 07:58 324K
python3-cvc5_1.1.2-1build1_armhf.deb 2024-04-02 03:08 341K
python3-cvc5_1.1.2-1build1_arm64.deb 2024-04-02 06:06 328K
libcvc5parser1_1.1.2-2build1_s390x.deb 2025-01-03 22:45 211K
libcvc5parser1_1.1.2-2build1_riscv64.deb 2025-01-05 15:06 235K
libcvc5parser1_1.1.2-2build1_ppc64el.deb 2025-01-04 03:07 212K
libcvc5parser1_1.1.2-2build1_armhf.deb 2025-01-03 22:44 214K
libcvc5parser1_1.1.2-2build1_arm64.deb 2025-01-03 22:44 195K
libcvc5parser1_1.1.2-2_s390x.deb 2024-05-03 06:30 210K
libcvc5parser1_1.1.2-2_riscv64.deb 2024-05-06 13:59 232K
libcvc5parser1_1.1.2-2_ppc64el.deb 2024-05-03 05:31 211K
libcvc5parser1_1.1.2-2_armhf.deb 2024-05-09 13:31 215K
libcvc5parser1_1.1.2-2_arm64.deb 2024-05-03 10:35 194K
libcvc5parser1_1.1.2-1build1_s390x.deb 2024-04-02 13:03 213K
libcvc5parser1_1.1.2-1build1_riscv64.deb 2024-04-04 04:27 232K
libcvc5parser1_1.1.2-1build1_ppc64el.deb 2024-04-02 07:58 213K
libcvc5parser1_1.1.2-1build1_armhf.deb 2024-04-02 03:08 212K
libcvc5parser1_1.1.2-1build1_arm64.deb 2024-04-02 06:06 194K
libcvc5-dev_1.1.2-2build1_s390x.deb 2025-01-03 22:45 82K
libcvc5-dev_1.1.2-2build1_riscv64.deb 2025-01-05 15:06 82K
libcvc5-dev_1.1.2-2build1_ppc64el.deb 2025-01-04 03:07 82K
libcvc5-dev_1.1.2-2build1_armhf.deb 2025-01-03 22:44 82K
libcvc5-dev_1.1.2-2build1_arm64.deb 2025-01-03 22:44 82K
libcvc5-dev_1.1.2-2_s390x.deb 2024-05-03 06:30 82K
libcvc5-dev_1.1.2-2_riscv64.deb 2024-05-06 13:59 82K
libcvc5-dev_1.1.2-2_ppc64el.deb 2024-05-03 05:31 82K
libcvc5-dev_1.1.2-2_armhf.deb 2024-05-09 13:31 82K
libcvc5-dev_1.1.2-2_arm64.deb 2024-05-03 10:35 82K
libcvc5-dev_1.1.2-1build1_s390x.deb 2024-04-02 13:03 82K
libcvc5-dev_1.1.2-1build1_riscv64.deb 2024-04-04 04:27 82K
libcvc5-dev_1.1.2-1build1_ppc64el.deb 2024-04-02 07:58 82K
libcvc5-dev_1.1.2-1build1_armhf.deb 2024-04-02 03:08 82K
libcvc5-dev_1.1.2-1build1_arm64.deb 2024-04-02 06:06 82K
libcvc5-1_1.1.2-2build1_s390x.deb 2025-01-03 22:45 5.4M
libcvc5-1_1.1.2-2build1_riscv64.deb 2025-01-05 15:06 7.2M
libcvc5-1_1.1.2-2build1_ppc64el.deb 2025-01-04 03:07 5.0M
libcvc5-1_1.1.2-2build1_armhf.deb 2025-01-03 22:44 6.2M
libcvc5-1_1.1.2-2build1_arm64.deb 2025-01-03 22:44 4.6M
libcvc5-1_1.1.2-2_s390x.deb 2024-05-03 06:30 5.2M
libcvc5-1_1.1.2-2_riscv64.deb 2024-05-06 13:59 6.9M
libcvc5-1_1.1.2-2_ppc64el.deb 2024-05-03 05:31 4.9M
libcvc5-1_1.1.2-2_armhf.deb 2024-05-09 13:31 6.0M
libcvc5-1_1.1.2-2_arm64.deb 2024-05-03 10:35 4.5M
libcvc5-1_1.1.2-1build1_s390x.deb 2024-04-02 13:03 5.2M
libcvc5-1_1.1.2-1build1_riscv64.deb 2024-04-04 04:27 6.9M
libcvc5-1_1.1.2-1build1_ppc64el.deb 2024-04-02 07:58 4.9M
libcvc5-1_1.1.2-1build1_armhf.deb 2024-04-02 03:08 6.0M
libcvc5-1_1.1.2-1build1_arm64.deb 2024-04-02 06:06 4.5M
cvc5_1.1.2.orig.tar.gz 2024-03-03 12:23 8.2M
cvc5_1.1.2-2build1_s390x.deb 2025-01-03 22:45 92K
cvc5_1.1.2-2build1_riscv64.deb 2025-01-05 15:06 101K
cvc5_1.1.2-2build1_ppc64el.deb 2025-01-04 03:07 91K
cvc5_1.1.2-2build1_armhf.deb 2025-01-03 22:44 99K
cvc5_1.1.2-2build1_arm64.deb 2025-01-03 22:44 85K
cvc5_1.1.2-2build1.dsc 2025-01-03 22:43 2.4K
cvc5_1.1.2-2build1.debian.tar.xz 2025-01-03 22:43 7.3K
cvc5_1.1.2-2_s390x.deb 2024-05-03 06:30 92K
cvc5_1.1.2-2_riscv64.deb 2024-05-06 13:59 103K
cvc5_1.1.2-2_ppc64el.deb 2024-05-03 05:31 91K
cvc5_1.1.2-2_armhf.deb 2024-05-09 13:31 102K
cvc5_1.1.2-2_arm64.deb 2024-05-03 10:35 86K
cvc5_1.1.2-2.dsc 2024-05-03 03:55 2.4K
cvc5_1.1.2-2.debian.tar.xz 2024-05-03 03:55 7.2K
cvc5_1.1.2-1build1_s390x.deb 2024-04-02 13:03 94K
cvc5_1.1.2-1build1_riscv64.deb 2024-04-04 04:27 103K
cvc5_1.1.2-1build1_ppc64el.deb 2024-04-02 07:58 91K
cvc5_1.1.2-1build1_armhf.deb 2024-04-02 03:08 102K
cvc5_1.1.2-1build1_arm64.deb 2024-04-02 06:06 86K
cvc5_1.1.2-1build1.dsc 2024-03-31 20:36 2.5K
cvc5_1.1.2-1build1.debian.tar.xz 2024-03-31 20:36 6.4K
Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80