Index of /pool/universe/c/cvc5

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]cvc5_1.1.2.orig.tar.gz2024-03-03 11:23 8.2M
[   ]cvc5_1.0.3.orig.tar.gz2022-12-20 11:29 7.9M
[   ]libcvc5-1_1.1.2-2_riscv64.deb2024-05-06 11:59 6.9M
[   ]libcvc5-1_1.1.2-1build1_riscv64.deb2024-04-04 02:27 6.9M
[   ]libcvc5-1_1.0.3-1_riscv64.deb2022-12-20 14:48 6.3M
[   ]libcvc5-1_1.1.2-2_armhf.deb2024-05-09 11:31 6.0M
[   ]libcvc5-1_1.1.2-1build1_armhf.deb2024-04-02 01:08 6.0M
[   ]libcvc5-1_1.1.2-1build1_s390x.deb2024-04-02 11:03 5.2M
[   ]libcvc5-1_1.1.2-2_s390x.deb2024-05-03 04:30 5.2M
[   ]libcvc5-1_1.1.2-1build1_ppc64el.deb2024-04-02 05:58 4.9M
[   ]libcvc5-1_1.1.2-2_ppc64el.deb2024-05-03 03:31 4.9M
[   ]libcvc5-1_1.0.3-1_ppc64el.deb2022-12-20 11:49 4.5M
[   ]libcvc5-1_1.1.2-2_arm64.deb2024-05-03 08:35 4.5M
[   ]libcvc5-1_1.1.2-1build1_arm64.deb2024-04-02 04:06 4.5M
[   ]libcvc5-1_1.0.3-1_s390x.deb2022-12-20 11:49 4.3M
[   ]libcvc5-1_1.0.3-1_arm64.deb2022-12-20 12:49 4.2M
[   ]python3-cvc5_1.1.2-2_s390x.deb2024-05-03 04:30 384K
[   ]python3-cvc5_1.1.2-1build1_s390x.deb2024-04-02 11:03 382K
[   ]python3-cvc5_1.1.2-2_armhf.deb2024-05-09 11:31 342K
[   ]python3-cvc5_1.1.2-1build1_armhf.deb2024-04-02 01:08 341K
[   ]python3-cvc5_1.1.2-1build1_riscv64.deb2024-04-04 02:27 341K
[   ]python3-cvc5_1.1.2-2_riscv64.deb2024-05-06 11:59 341K
[   ]python3-cvc5_1.1.2-1build1_arm64.deb2024-04-02 04:06 328K
[   ]python3-cvc5_1.1.2-2_arm64.deb2024-05-03 08:35 328K
[   ]python3-cvc5_1.1.2-1build1_ppc64el.deb2024-04-02 05:58 324K
[   ]python3-cvc5_1.1.2-2_ppc64el.deb2024-05-03 03:31 324K
[   ]libcvc5parser1_1.0.3-1_riscv64.deb2022-12-20 14:48 307K
[   ]libcvc5parser1_1.0.3-1_ppc64el.deb2022-12-20 11:49 304K
[   ]libcvc5parser1_1.0.3-1_arm64.deb2022-12-20 12:49 278K
[   ]libcvc5parser1_1.0.3-1_s390x.deb2022-12-20 11:49 275K
[   ]libcvc5parser1_1.1.2-2_riscv64.deb2024-05-06 11:59 232K
[   ]libcvc5parser1_1.1.2-1build1_riscv64.deb2024-04-04 02:27 232K
[   ]libcvc5parser1_1.1.2-2_armhf.deb2024-05-09 11:31 215K
[   ]libcvc5parser1_1.1.2-1build1_ppc64el.deb2024-04-02 05:58 213K
[   ]libcvc5parser1_1.1.2-1build1_s390x.deb2024-04-02 11:03 213K
[   ]libcvc5parser1_1.1.2-1build1_armhf.deb2024-04-02 01:08 212K
[   ]libcvc5parser1_1.1.2-2_ppc64el.deb2024-05-03 03:31 211K
[   ]libcvc5parser1_1.1.2-2_s390x.deb2024-05-03 04:30 210K
[   ]libcvc5parser1_1.1.2-2_arm64.deb2024-05-03 08:35 194K
[   ]libcvc5parser1_1.1.2-1build1_arm64.deb2024-04-02 04:06 194K
[   ]cvc5_1.1.2-1build1_riscv64.deb2024-04-04 02:27 103K
[   ]cvc5_1.1.2-2_riscv64.deb2024-05-06 11:59 103K
[   ]cvc5_1.1.2-2_armhf.deb2024-05-09 11:31 102K
[   ]cvc5_1.1.2-1build1_armhf.deb2024-04-02 01:08 102K
[   ]cvc5_1.0.3-1_riscv64.deb2022-12-20 14:48 101K
[   ]cvc5_1.1.2-1build1_s390x.deb2024-04-02 11:03 94K
[   ]cvc5_1.0.3-1_ppc64el.deb2022-12-20 11:49 93K
[   ]cvc5_1.1.2-2_s390x.deb2024-05-03 04:30 92K
[   ]cvc5_1.1.2-1build1_ppc64el.deb2024-04-02 05:58 91K
[   ]cvc5_1.1.2-2_ppc64el.deb2024-05-03 03:31 91K
[   ]cvc5_1.0.3-1_s390x.deb2022-12-20 11:49 90K
[   ]cvc5_1.0.3-1_arm64.deb2022-12-20 12:49 88K
[   ]cvc5_1.1.2-2_arm64.deb2024-05-03 08:35 86K
[   ]cvc5_1.1.2-1build1_arm64.deb2024-04-02 04:06 86K
[   ]libcvc5-dev_1.1.2-2_s390x.deb2024-05-03 04:30 82K
[   ]libcvc5-dev_1.1.2-1build1_s390x.deb2024-04-02 11:03 82K
[   ]libcvc5-dev_1.1.2-2_armhf.deb2024-05-09 11:31 82K
[   ]libcvc5-dev_1.1.2-1build1_armhf.deb2024-04-02 01:08 82K
[   ]libcvc5-dev_1.1.2-2_ppc64el.deb2024-05-03 03:31 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_arm64.deb2024-04-02 04:06 82K
[   ]libcvc5-dev_1.1.2-2_riscv64.deb2024-05-06 11:59 82K
[   ]libcvc5-dev_1.1.2-2_arm64.deb2024-05-03 08:35 82K
[   ]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_arm64.deb2022-12-20 12:49 52K
[   ]libcvc5-dev_1.0.3-1_s390x.deb2022-12-20 11:49 52K
[   ]cvc5_1.1.2-2.debian.tar.xz2024-05-03 01:55 7.2K
[   ]cvc5_1.1.2-1build1.debian.tar.xz2024-03-31 18:36 6.4K
[   ]cvc5_1.0.3-1.debian.tar.xz2022-12-20 11:29 5.8K
[   ]cvc5_1.1.2-1build1.dsc2024-03-31 18:36 2.5K
[   ]cvc5_1.1.2-2.dsc2024-05-03 01:55 2.4K
[   ]cvc5_1.0.3-1.dsc2022-12-20 11:29 2.3K

Apache/2.4.29 (Ubuntu) Server at ports.ubuntu.com Port 80