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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]cvc5_1.0.3-1.debian.tar.xz2022-12-20 11:29 5.8K
[ ]cvc5_1.0.3-1.dsc2022-12-20 11:29 2.3K
[ ]cvc5_1.0.3-1_arm64.deb2022-12-20 12:49 88K
[ ]cvc5_1.0.3-1_ppc64el.deb2022-12-20 11:49 93K
[ ]cvc5_1.0.3-1_riscv64.deb2022-12-20 14:48 101K
[ ]cvc5_1.0.3-1_s390x.deb2022-12-20 11:49 90K
[ ]cvc5_1.0.3.orig.tar.gz2022-12-20 11:29 7.9M
[ ]cvc5_1.0.5-3.debian.tar.xz2023-06-24 11:45 6.9K
[ ]cvc5_1.0.5-3.dsc2023-06-24 11:45 2.4K
[ ]cvc5_1.0.5-3_arm64.deb2023-06-25 08:04 80K
[ ]cvc5_1.0.5-3_ppc64el.deb2023-06-25 08:04 84K
[ ]cvc5_1.0.5-3_riscv64.deb2023-06-25 08:04 93K
[ ]cvc5_1.0.5-3_s390x.deb2023-06-25 08:04 84K
[ ]cvc5_1.0.5.orig.tar.gz2023-06-20 23:39 8.0M
[ ]cvc5_1.1.2-1build1.debian.tar.xz2024-03-31 18:36 6.4K
[ ]cvc5_1.1.2-1build1.dsc2024-03-31 18:36 2.5K
[ ]cvc5_1.1.2-1build1_arm64.deb2024-04-02 04:06 86K
[ ]cvc5_1.1.2-1build1_armhf.deb2024-04-02 01:08 102K
[ ]cvc5_1.1.2-1build1_ppc64el.deb2024-04-02 05:58 91K
[ ]cvc5_1.1.2-1build1_riscv64.deb2024-04-04 02:27 103K
[ ]cvc5_1.1.2-1build1_s390x.deb2024-04-02 11:03 94K
[ ]cvc5_1.1.2.orig.tar.gz2024-03-03 11:23 8.2M
[ ]libcvc5-1_1.0.3-1_arm64.deb2022-12-20 12:49 4.2M
[ ]libcvc5-1_1.0.3-1_ppc64el.deb2022-12-20 11:49 4.5M
[ ]libcvc5-1_1.0.3-1_riscv64.deb2022-12-20 14:48 6.3M
[ ]libcvc5-1_1.0.3-1_s390x.deb2022-12-20 11:49 4.3M
[ ]libcvc5-1_1.0.5-3_arm64.deb2023-06-25 08:04 4.2M
[ ]libcvc5-1_1.0.5-3_ppc64el.deb2023-06-25 08:04 4.5M
[ ]libcvc5-1_1.0.5-3_riscv64.deb2023-06-25 08:04 6.4M
[ ]libcvc5-1_1.0.5-3_s390x.deb2023-06-25 08:04 4.3M
[ ]libcvc5-1_1.1.2-1build1_arm64.deb2024-04-02 04:06 4.5M
[ ]libcvc5-1_1.1.2-1build1_armhf.deb2024-04-02 01:08 6.0M
[ ]libcvc5-1_1.1.2-1build1_ppc64el.deb2024-04-02 05:58 4.9M
[ ]libcvc5-1_1.1.2-1build1_riscv64.deb2024-04-04 02:27 6.9M
[ ]libcvc5-1_1.1.2-1build1_s390x.deb2024-04-02 11:03 5.2M
[ ]libcvc5-dev_1.0.3-1_arm64.deb2022-12-20 12:49 52K
[ ]libcvc5-dev_1.0.3-1_ppc64el.deb2022-12-20 11:49 52K
[ ]libcvc5-dev_1.0.3-1_riscv64.deb2022-12-20 14:48 52K
[ ]libcvc5-dev_1.0.3-1_s390x.deb2022-12-20 11:49 52K
[ ]libcvc5-dev_1.0.5-3_arm64.deb2023-06-25 08:04 53K
[ ]libcvc5-dev_1.0.5-3_ppc64el.deb2023-06-25 08:04 53K
[ ]libcvc5-dev_1.0.5-3_riscv64.deb2023-06-25 08:04 53K
[ ]libcvc5-dev_1.0.5-3_s390x.deb2023-06-25 08:04 53K
[ ]libcvc5-dev_1.1.2-1build1_arm64.deb2024-04-02 04:06 82K
[ ]libcvc5-dev_1.1.2-1build1_armhf.deb2024-04-02 01:08 82K
[ ]libcvc5-dev_1.1.2-1build1_ppc64el.deb2024-04-02 05:58 82K
[ ]libcvc5-dev_1.1.2-1build1_riscv64.deb2024-04-04 02:27 82K
[ ]libcvc5-dev_1.1.2-1build1_s390x.deb2024-04-02 11:03 82K
[ ]libcvc5parser1_1.0.3-1_arm64.deb2022-12-20 12:49 278K
[ ]libcvc5parser1_1.0.3-1_ppc64el.deb2022-12-20 11:49 304K
[ ]libcvc5parser1_1.0.3-1_riscv64.deb2022-12-20 14:48 307K
[ ]libcvc5parser1_1.0.3-1_s390x.deb2022-12-20 11:49 275K
[ ]libcvc5parser1_1.0.5-3_arm64.deb2023-06-25 08:04 317K
[ ]libcvc5parser1_1.0.5-3_ppc64el.deb2023-06-25 08:04 349K
[ ]libcvc5parser1_1.0.5-3_riscv64.deb2023-06-25 08:04 368K
[ ]libcvc5parser1_1.0.5-3_s390x.deb2023-06-25 08:04 315K
[ ]libcvc5parser1_1.1.2-1build1_arm64.deb2024-04-02 04:06 194K
[ ]libcvc5parser1_1.1.2-1build1_armhf.deb2024-04-02 01:08 212K
[ ]libcvc5parser1_1.1.2-1build1_ppc64el.deb2024-04-02 05:58 213K
[ ]libcvc5parser1_1.1.2-1build1_riscv64.deb2024-04-04 02:27 232K
[ ]libcvc5parser1_1.1.2-1build1_s390x.deb2024-04-02 11:03 213K
[ ]python3-cvc5_1.0.5-3_arm64.deb2023-06-25 08:04 218K
[ ]python3-cvc5_1.0.5-3_ppc64el.deb2023-06-25 08:04 227K
[ ]python3-cvc5_1.0.5-3_riscv64.deb2023-06-25 08:04 227K
[ ]python3-cvc5_1.0.5-3_s390x.deb2023-06-25 08:04 217K
[ ]python3-cvc5_1.1.2-1build1_arm64.deb2024-04-02 04:06 328K
[ ]python3-cvc5_1.1.2-1build1_armhf.deb2024-04-02 01:08 341K
[ ]python3-cvc5_1.1.2-1build1_ppc64el.deb2024-04-02 05:58 324K
[ ]python3-cvc5_1.1.2-1build1_riscv64.deb2024-04-04 02:27 341K
[ ]python3-cvc5_1.1.2-1build1_s390x.deb2024-04-02 11:03 382K
Apache/2.4.29 (Ubuntu) Server at ports.ubuntu.com Port 80