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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[TXT]cvc5_1.0.3-1.dsc2022-12-20 11:29 2.3K
[TXT]cvc5_1.1.2-2.dsc2024-05-03 01:55 2.4K
[TXT]cvc5_1.0.5-3.dsc2023-06-24 11:45 2.4K
[ ]cvc5_1.0.3-1.debian.tar.xz2022-12-20 11:29 5.8K
[ ]cvc5_1.0.5-3.debian.tar.xz2023-06-24 11:45 6.9K
[ ]cvc5_1.1.2-2.debian.tar.xz2024-05-03 01:55 7.2K
[ ]libcvc5-dev_1.0.3-1_amd64.deb2022-12-20 11:49 52K
[ ]libcvc5-dev_1.0.3-1_s390x.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_riscv64.deb2022-12-20 14:48 52K
[ ]libcvc5-dev_1.0.3-1_ppc64el.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_s390x.deb2023-06-25 08:04 53K
[ ]libcvc5-dev_1.0.5-3_amd64.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_ppc64el.deb2023-06-25 08:04 53K
[ ]cvc5_1.0.5-3_arm64.deb2023-06-25 08:04 80K
[ ]libcvc5-dev_1.1.2-2_arm64.deb2024-05-03 08:35 82K
[ ]libcvc5-dev_1.1.2-2_riscv64.deb2024-05-06 11:59 82K
[ ]libcvc5-dev_1.1.2-2_amd64.deb2024-05-03 02:39 82K
[ ]libcvc5-dev_1.1.2-2_ppc64el.deb2024-05-03 03:31 82K
[ ]libcvc5-dev_1.1.2-2_armhf.deb2024-05-09 11:31 82K
[ ]libcvc5-dev_1.1.2-2_s390x.deb2024-05-03 04:30 82K
[ ]cvc5_1.0.5-3_s390x.deb2023-06-25 08:04 84K
[ ]cvc5_1.0.5-3_ppc64el.deb2023-06-25 08:04 84K
[ ]cvc5_1.1.2-2_arm64.deb2024-05-03 08:35 86K
[ ]cvc5_1.0.3-1_arm64.deb2022-12-20 12:49 88K
[ ]cvc5_1.0.5-3_amd64.deb2023-06-25 08:04 88K
[ ]cvc5_1.0.3-1_s390x.deb2022-12-20 11:49 90K
[ ]cvc5_1.1.2-2_ppc64el.deb2024-05-03 03:31 91K
[ ]cvc5_1.1.2-2_s390x.deb2024-05-03 04:30 92K
[ ]cvc5_1.0.3-1_ppc64el.deb2022-12-20 11:49 93K
[ ]cvc5_1.1.2-2_amd64.deb2024-05-03 02:39 93K
[ ]cvc5_1.0.5-3_riscv64.deb2023-06-25 08:04 93K
[ ]cvc5_1.0.3-1_amd64.deb2022-12-20 11:49 96K
[ ]cvc5_1.0.3-1_riscv64.deb2022-12-20 14:48 101K
[ ]cvc5_1.1.2-2_armhf.deb2024-05-09 11:31 102K
[ ]cvc5_1.1.2-2_riscv64.deb2024-05-06 11:59 103K
[ ]libcvc5parser1_1.1.2-2_arm64.deb2024-05-03 08:35 194K
[ ]libcvc5parser1_1.1.2-2_amd64.deb2024-05-03 02:39 205K
[ ]libcvc5parser1_1.1.2-2_s390x.deb2024-05-03 04:30 210K
[ ]libcvc5parser1_1.1.2-2_ppc64el.deb2024-05-03 03:31 211K
[ ]libcvc5parser1_1.1.2-2_armhf.deb2024-05-09 11:31 215K
[ ]python3-cvc5_1.0.5-3_s390x.deb2023-06-25 08:04 217K
[ ]python3-cvc5_1.0.5-3_arm64.deb2023-06-25 08:04 218K
[ ]python3-cvc5_1.0.5-3_riscv64.deb2023-06-25 08:04 227K
[ ]python3-cvc5_1.0.5-3_ppc64el.deb2023-06-25 08:04 227K
[ ]libcvc5parser1_1.1.2-2_riscv64.deb2024-05-06 11:59 232K
[ ]python3-cvc5_1.0.5-3_amd64.deb2023-06-25 08:04 239K
[ ]libcvc5parser1_1.0.3-1_s390x.deb2022-12-20 11:49 275K
[ ]libcvc5parser1_1.0.3-1_arm64.deb2022-12-20 12:49 278K
[ ]libcvc5parser1_1.0.3-1_amd64.deb2022-12-20 11:49 297K
[ ]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.5-3_s390x.deb2023-06-25 08:04 315K
[ ]libcvc5parser1_1.0.5-3_arm64.deb2023-06-25 08:04 317K
[ ]python3-cvc5_1.1.2-2_ppc64el.deb2024-05-03 03:31 324K
[ ]python3-cvc5_1.1.2-2_arm64.deb2024-05-03 08:35 328K
[ ]python3-cvc5_1.1.2-2_amd64.deb2024-05-03 02:39 341K
[ ]python3-cvc5_1.1.2-2_riscv64.deb2024-05-06 11:59 341K
[ ]python3-cvc5_1.1.2-2_armhf.deb2024-05-09 11:31 342K
[ ]libcvc5parser1_1.0.5-3_amd64.deb2023-06-25 08:04 344K
[ ]libcvc5parser1_1.0.5-3_ppc64el.deb2023-06-25 08:04 349K
[ ]libcvc5parser1_1.0.5-3_riscv64.deb2023-06-25 08:04 368K
[ ]python3-cvc5_1.1.2-2_s390x.deb2024-05-03 04:30 384K
[ ]libcvc5-1_1.0.5-3_arm64.deb2023-06-25 08:04 4.2M
[ ]libcvc5-1_1.0.3-1_arm64.deb2022-12-20 12:49 4.2M
[ ]libcvc5-1_1.0.3-1_s390x.deb2022-12-20 11:49 4.3M
[ ]libcvc5-1_1.0.5-3_s390x.deb2023-06-25 08:04 4.3M
[ ]libcvc5-1_1.1.2-2_arm64.deb2024-05-03 08:35 4.5M
[ ]libcvc5-1_1.0.5-3_ppc64el.deb2023-06-25 08:04 4.5M
[ ]libcvc5-1_1.0.3-1_ppc64el.deb2022-12-20 11:49 4.5M
[ ]libcvc5-1_1.0.3-1_amd64.deb2022-12-20 11:49 4.6M
[ ]libcvc5-1_1.0.5-3_amd64.deb2023-06-25 08:04 4.6M
[ ]libcvc5-1_1.1.2-2_amd64.deb2024-05-03 02:39 4.9M
[ ]libcvc5-1_1.1.2-2_ppc64el.deb2024-05-03 03:31 4.9M
[ ]libcvc5-1_1.1.2-2_s390x.deb2024-05-03 04:30 5.2M
[ ]libcvc5-1_1.1.2-2_armhf.deb2024-05-09 11:31 6.0M
[ ]libcvc5-1_1.0.3-1_riscv64.deb2022-12-20 14:48 6.3M
[ ]libcvc5-1_1.0.5-3_riscv64.deb2023-06-25 08:04 6.4M
[ ]libcvc5-1_1.1.2-2_riscv64.deb2024-05-06 11:59 6.9M
[ ]cvc5_1.0.3.orig.tar.gz2022-12-20 11:29 7.9M
[ ]cvc5_1.0.5.orig.tar.gz2023-06-20 23:39 8.0M
[ ]cvc5_1.1.2.orig.tar.gz2024-03-03 11:23 8.2M
Apache/2.4.52 (Ubuntu) Server at 162.213.35.95 Port 80