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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]cvc5_1.1.2-3.dsc2025-10-28 00:01 2.4K 
[TXT]cvc5_1.1.2-2build1.dsc2025-01-03 21:43 2.4K 
[TXT]cvc5_1.1.2-1build1.dsc2024-03-31 18:36 2.5K 
[ ]cvc5_1.1.2-1build1.debian.tar.xz2024-03-31 18:36 6.4KDebian Linux
[ ]cvc5_1.1.2-3.debian.tar.xz2025-10-28 00:01 7.2KDebian Linux
[ ]cvc5_1.1.2-2build1.debian.tar.xz2025-01-03 21:43 7.3KDebian Linux
[ ]libcvc5-dev_1.1.2-2build1_riscv64.deb2025-01-05 14:06 82K 
[ ]libcvc5-dev_1.1.2-2build1_arm64.deb2025-01-03 21:44 82K 
[ ]libcvc5-dev_1.1.2-2build1_armhf.deb2025-01-03 21:44 82K 
[ ]libcvc5-dev_1.1.2-2build1_ppc64el.deb2025-01-04 02:07 82K 
[ ]libcvc5-dev_1.1.2-2build1_s390x.deb2025-01-03 21:45 82K 
[ ]libcvc5-dev_1.1.2-1build1_arm64.deb2024-04-02 04:06 82K 
[ ]libcvc5-dev_1.1.2-1build1_riscv64.deb2024-04-04 02:27 82K 
[ ]libcvc5-dev_1.1.2-1build1_ppc64el.deb2024-04-02 05:58 82K 
[ ]libcvc5-dev_1.1.2-1build1_armhf.deb2024-04-02 01:08 82K 
[ ]libcvc5-dev_1.1.2-3_arm64.deb2025-10-28 06:36 82K 
[ ]libcvc5-dev_1.1.2-3_riscv64.deb2025-10-28 23:13 82K 
[ ]libcvc5-dev_1.1.2-1build1_s390x.deb2024-04-02 11:03 82K 
[ ]libcvc5-dev_1.1.2-3_s390x.deb2025-10-28 07:07 82K 
[ ]libcvc5-dev_1.1.2-3_ppc64el.deb2025-10-28 07:00 82K 
[ ]libcvc5-dev_1.1.2-3_armhf.deb2025-10-28 06:48 82K 
[ ]cvc5_1.1.2-2build1_arm64.deb2025-01-03 21:44 85K 
[ ]cvc5_1.1.2-3_arm64.deb2025-10-28 06:36 85K 
[ ]cvc5_1.1.2-1build1_arm64.deb2024-04-02 04:06 86K 
[ ]cvc5_1.1.2-3_ppc64el.deb2025-10-28 07:01 90K 
[ ]cvc5_1.1.2-2build1_ppc64el.deb2025-01-04 02:07 91K 
[ ]cvc5_1.1.2-1build1_ppc64el.deb2024-04-02 05:58 91K 
[ ]cvc5_1.1.2-2build1_s390x.deb2025-01-03 21:45 92K 
[ ]cvc5_1.1.2-3_s390x.deb2025-10-28 07:07 94K 
[ ]cvc5_1.1.2-1build1_s390x.deb2024-04-02 11:03 94K 
[ ]cvc5_1.1.2-2build1_armhf.deb2025-01-03 21:44 99K 
[ ]cvc5_1.1.2-3_armhf.deb2025-10-28 06:48 100K 
[ ]cvc5_1.1.2-2build1_riscv64.deb2025-01-05 14:06 101K 
[ ]cvc5_1.1.2-1build1_armhf.deb2024-04-02 01:08 102K 
[ ]cvc5_1.1.2-1build1_riscv64.deb2024-04-04 02:27 103K 
[ ]cvc5_1.1.2-3_riscv64.deb2025-10-28 23:13 103K 
[ ]libcvc5parser1_1.1.2-1build1_arm64.deb2024-04-02 04:06 194K 
[ ]libcvc5parser1_1.1.2-2build1_arm64.deb2025-01-03 21:44 195K 
[ ]libcvc5parser1_1.1.2-3_arm64.deb2025-10-28 06:36 196K 
[ ]libcvc5parser1_1.1.2-3_s390x.deb2025-10-28 07:07 208K 
[ ]libcvc5parser1_1.1.2-2build1_s390x.deb2025-01-03 21:45 211K 
[ ]libcvc5parser1_1.1.2-2build1_ppc64el.deb2025-01-04 02:07 212K 
[ ]libcvc5parser1_1.1.2-1build1_armhf.deb2024-04-02 01:08 212K 
[ ]libcvc5parser1_1.1.2-1build1_s390x.deb2024-04-02 11:03 213K 
[ ]libcvc5parser1_1.1.2-3_ppc64el.deb2025-10-28 07:00 213K 
[ ]libcvc5parser1_1.1.2-1build1_ppc64el.deb2024-04-02 05:58 213K 
[ ]libcvc5parser1_1.1.2-2build1_armhf.deb2025-01-03 21:44 214K 
[ ]libcvc5parser1_1.1.2-3_armhf.deb2025-10-28 06:48 215K 
[ ]libcvc5parser1_1.1.2-1build1_riscv64.deb2024-04-04 02:27 232K 
[ ]libcvc5parser1_1.1.2-2build1_riscv64.deb2025-01-05 14:06 235K 
[ ]libcvc5parser1_1.1.2-3_riscv64.deb2025-10-28 23:13 241K 
[ ]python3-cvc5_1.1.2-3_arm64.deb2025-10-28 06:36 293K 
[ ]python3-cvc5_1.1.2-3_ppc64el.deb2025-10-28 07:00 302K 
[ ]python3-cvc5_1.1.2-3_armhf.deb2025-10-28 06:48 313K 
[ ]python3-cvc5_1.1.2-2build1_ppc64el.deb2025-01-04 02:07 323K 
[ ]python3-cvc5_1.1.2-1build1_ppc64el.deb2024-04-02 05:58 324K 
[ ]python3-cvc5_1.1.2-3_riscv64.deb2025-10-28 23:13 327K 
[ ]python3-cvc5_1.1.2-1build1_arm64.deb2024-04-02 04:06 328K 
[ ]python3-cvc5_1.1.2-3_s390x.deb2025-10-28 07:07 331K 
[ ]python3-cvc5_1.1.2-2build1_arm64.deb2025-01-03 21:44 331K 
[ ]python3-cvc5_1.1.2-1build1_riscv64.deb2024-04-04 02:27 341K 
[ ]python3-cvc5_1.1.2-1build1_armhf.deb2024-04-02 01:08 341K 
[ ]python3-cvc5_1.1.2-2build1_armhf.deb2025-01-03 21:44 346K 
[ ]python3-cvc5_1.1.2-2build1_riscv64.deb2025-01-05 14:06 353K 
[ ]python3-cvc5_1.1.2-1build1_s390x.deb2024-04-02 11:03 382K 
[ ]python3-cvc5_1.1.2-2build1_s390x.deb2025-01-03 21:45 387K 
[ ]libcvc5-1_1.1.2-1build1_arm64.deb2024-04-02 04:06 4.5M 
[ ]libcvc5-1_1.1.2-2build1_arm64.deb2025-01-03 21:44 4.6M 
[ ]libcvc5-1_1.1.2-3_arm64.deb2025-10-28 06:36 4.7M 
[ ]libcvc5-1_1.1.2-1build1_ppc64el.deb2024-04-02 05:58 4.9M 
[ ]libcvc5-1_1.1.2-2build1_ppc64el.deb2025-01-04 02:07 5.0M 
[ ]libcvc5-1_1.1.2-3_ppc64el.deb2025-10-28 07:01 5.0M 
[ ]libcvc5-1_1.1.2-1build1_s390x.deb2024-04-02 11:03 5.2M 
[ ]libcvc5-1_1.1.2-3_s390x.deb2025-10-28 07:07 5.3M 
[ ]libcvc5-1_1.1.2-2build1_s390x.deb2025-01-03 21:45 5.4M 
[ ]libcvc5-1_1.1.2-1build1_armhf.deb2024-04-02 01:08 6.0M 
[ ]libcvc5-1_1.1.2-2build1_armhf.deb2025-01-03 21:44 6.2M 
[ ]libcvc5-1_1.1.2-3_armhf.deb2025-10-28 06:48 6.2M 
[ ]libcvc5-1_1.1.2-1build1_riscv64.deb2024-04-04 02:27 6.9M 
[ ]libcvc5-1_1.1.2-2build1_riscv64.deb2025-01-05 14:06 7.2M 
[ ]libcvc5-1_1.1.2-3_riscv64.deb2025-10-28 23:13 7.3M 
[ ]cvc5_1.1.2.orig.tar.gz2024-03-03 11:23 8.2M