Index of /ubuntu/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_amd64.deb2022-12-20 11:49 96K
[ ]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_amd64.deb2023-06-25 08:04 88K
[ ]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
[ ]libcvc5-1_1.0.3-1_amd64.deb2022-12-20 11:49 4.6M
[ ]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_amd64.deb2023-06-25 08:04 4.6M
[ ]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-dev_1.0.3-1_amd64.deb2022-12-20 11:49 52K
[ ]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_amd64.deb2023-06-25 08:04 53K
[ ]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
[ ]libcvc5parser1_1.0.3-1_amd64.deb2022-12-20 11:49 297K
[ ]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_amd64.deb2023-06-25 08:04 344K
[ ]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
[ ]python3-cvc5_1.0.5-3_amd64.deb2023-06-25 08:04 239K
[ ]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
Apache/2.4.29 (Ubuntu) Server at old-releases.ubuntu.com Port 80