Index of /ubuntu-ports/pool/universe/c/cvc5/
../ cvc5_1.1.2-1build1.debian.tar.xz 01-Apr-2024 03:36 6576 cvc5_1.1.2-1build1.dsc 01-Apr-2024 03:36 2589 cvc5_1.1.2-1build1_arm64.deb 02-Apr-2024 13:06 86K cvc5_1.1.2-1build1_armhf.deb 02-Apr-2024 10:08 102K cvc5_1.1.2-1build1_ppc64el.deb 02-Apr-2024 14:58 91K cvc5_1.1.2-1build1_riscv64.deb 04-Apr-2024 11:27 103K cvc5_1.1.2-1build1_s390x.deb 02-Apr-2024 20:03 94K cvc5_1.1.2-2build1.debian.tar.xz 04-Jan-2025 06:43 7476 cvc5_1.1.2-2build1.dsc 04-Jan-2025 06:43 2473 cvc5_1.1.2-2build1_arm64.deb 04-Jan-2025 06:44 85K cvc5_1.1.2-2build1_armhf.deb 04-Jan-2025 06:44 99K cvc5_1.1.2-2build1_ppc64el.deb 04-Jan-2025 11:07 91K cvc5_1.1.2-2build1_riscv64.deb 05-Jan-2025 23:06 101K cvc5_1.1.2-2build1_s390x.deb 04-Jan-2025 06:45 92K cvc5_1.1.2-3.debian.tar.xz 28-Oct-2025 09:01 7392 cvc5_1.1.2-3.dsc 28-Oct-2025 09:01 2460 cvc5_1.1.2-3_arm64.deb 28-Oct-2025 15:36 85K cvc5_1.1.2-3_armhf.deb 28-Oct-2025 15:48 100K cvc5_1.1.2-3_ppc64el.deb 28-Oct-2025 16:01 90K cvc5_1.1.2-3_riscv64.deb 29-Oct-2025 08:13 103K cvc5_1.1.2-3_s390x.deb 28-Oct-2025 16:07 94K cvc5_1.1.2.orig.tar.gz 03-Mar-2024 20:23 8M libcvc5-1_1.1.2-1build1_arm64.deb 02-Apr-2024 13:06 4M libcvc5-1_1.1.2-1build1_armhf.deb 02-Apr-2024 10:08 6M libcvc5-1_1.1.2-1build1_ppc64el.deb 02-Apr-2024 14:58 5M libcvc5-1_1.1.2-1build1_riscv64.deb 04-Apr-2024 11:27 7M libcvc5-1_1.1.2-1build1_s390x.deb 02-Apr-2024 20:03 5M libcvc5-1_1.1.2-2build1_arm64.deb 04-Jan-2025 06:44 5M libcvc5-1_1.1.2-2build1_armhf.deb 04-Jan-2025 06:44 6M libcvc5-1_1.1.2-2build1_ppc64el.deb 04-Jan-2025 11:07 5M libcvc5-1_1.1.2-2build1_riscv64.deb 05-Jan-2025 23:06 7M libcvc5-1_1.1.2-2build1_s390x.deb 04-Jan-2025 06:45 5M libcvc5-1_1.1.2-3_arm64.deb 28-Oct-2025 15:36 5M libcvc5-1_1.1.2-3_armhf.deb 28-Oct-2025 15:48 6M libcvc5-1_1.1.2-3_ppc64el.deb 28-Oct-2025 16:01 5M libcvc5-1_1.1.2-3_riscv64.deb 29-Oct-2025 08:13 7M libcvc5-1_1.1.2-3_s390x.deb 28-Oct-2025 16:07 5M libcvc5-dev_1.1.2-1build1_arm64.deb 02-Apr-2024 13:06 82K libcvc5-dev_1.1.2-1build1_armhf.deb 02-Apr-2024 10:08 82K libcvc5-dev_1.1.2-1build1_ppc64el.deb 02-Apr-2024 14:58 82K libcvc5-dev_1.1.2-1build1_riscv64.deb 04-Apr-2024 11:27 82K libcvc5-dev_1.1.2-1build1_s390x.deb 02-Apr-2024 20:03 82K libcvc5-dev_1.1.2-2build1_arm64.deb 04-Jan-2025 06:44 82K libcvc5-dev_1.1.2-2build1_armhf.deb 04-Jan-2025 06:44 82K libcvc5-dev_1.1.2-2build1_ppc64el.deb 04-Jan-2025 11:07 82K libcvc5-dev_1.1.2-2build1_riscv64.deb 05-Jan-2025 23:06 82K libcvc5-dev_1.1.2-2build1_s390x.deb 04-Jan-2025 06:45 82K libcvc5-dev_1.1.2-3_arm64.deb 28-Oct-2025 15:36 82K libcvc5-dev_1.1.2-3_armhf.deb 28-Oct-2025 15:48 82K libcvc5-dev_1.1.2-3_ppc64el.deb 28-Oct-2025 16:00 82K libcvc5-dev_1.1.2-3_riscv64.deb 29-Oct-2025 08:13 82K libcvc5-dev_1.1.2-3_s390x.deb 28-Oct-2025 16:07 82K libcvc5parser1_1.1.2-1build1_arm64.deb 02-Apr-2024 13:06 194K libcvc5parser1_1.1.2-1build1_armhf.deb 02-Apr-2024 10:08 212K libcvc5parser1_1.1.2-1build1_ppc64el.deb 02-Apr-2024 14:58 213K libcvc5parser1_1.1.2-1build1_riscv64.deb 04-Apr-2024 11:27 232K libcvc5parser1_1.1.2-1build1_s390x.deb 02-Apr-2024 20:03 213K libcvc5parser1_1.1.2-2build1_arm64.deb 04-Jan-2025 06:44 195K libcvc5parser1_1.1.2-2build1_armhf.deb 04-Jan-2025 06:44 214K libcvc5parser1_1.1.2-2build1_ppc64el.deb 04-Jan-2025 11:07 212K libcvc5parser1_1.1.2-2build1_riscv64.deb 05-Jan-2025 23:06 235K libcvc5parser1_1.1.2-2build1_s390x.deb 04-Jan-2025 06:45 211K libcvc5parser1_1.1.2-3_arm64.deb 28-Oct-2025 15:36 196K libcvc5parser1_1.1.2-3_armhf.deb 28-Oct-2025 15:48 215K libcvc5parser1_1.1.2-3_ppc64el.deb 28-Oct-2025 16:00 213K libcvc5parser1_1.1.2-3_riscv64.deb 29-Oct-2025 08:13 241K libcvc5parser1_1.1.2-3_s390x.deb 28-Oct-2025 16:07 208K python3-cvc5_1.1.2-1build1_arm64.deb 02-Apr-2024 13:06 328K python3-cvc5_1.1.2-1build1_armhf.deb 02-Apr-2024 10:08 341K python3-cvc5_1.1.2-1build1_ppc64el.deb 02-Apr-2024 14:58 324K python3-cvc5_1.1.2-1build1_riscv64.deb 04-Apr-2024 11:27 341K python3-cvc5_1.1.2-1build1_s390x.deb 02-Apr-2024 20:03 382K python3-cvc5_1.1.2-2build1_arm64.deb 04-Jan-2025 06:44 331K python3-cvc5_1.1.2-2build1_armhf.deb 04-Jan-2025 06:44 346K python3-cvc5_1.1.2-2build1_ppc64el.deb 04-Jan-2025 11:07 323K python3-cvc5_1.1.2-2build1_riscv64.deb 05-Jan-2025 23:06 353K python3-cvc5_1.1.2-2build1_s390x.deb 04-Jan-2025 06:45 387K python3-cvc5_1.1.2-3_arm64.deb 28-Oct-2025 15:36 293K python3-cvc5_1.1.2-3_armhf.deb 28-Oct-2025 15:48 313K python3-cvc5_1.1.2-3_ppc64el.deb 28-Oct-2025 16:00 302K python3-cvc5_1.1.2-3_riscv64.deb 29-Oct-2025 08:13 327K python3-cvc5_1.1.2-3_s390x.deb 28-Oct-2025 16:07 331K