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

directories: 0, files: 40

NameLast modifiedSize
../
python3-cvc5_1.3.2-1build1_amd64v3.deb2026-01-23 18:16:45384.45 KiB
python3-cvc5_1.3.2-1build1_amd64.deb2026-01-23 18:16:22381.68 KiB
python3-cvc5_1.3.2-1_amd64v3.deb2025-12-24 07:24:59384.35 KiB
python3-cvc5_1.3.2-1_amd64.deb2025-12-24 07:24:56381.84 KiB
python3-cvc5_1.1.2-2build1_amd64.deb2025-01-03 22:43:39349.91 KiB
python3-cvc5_1.1.2-1build1_amd64.deb2024-04-01 05:46:29339.19 KiB
libcvc5parser1_1.3.2-1build1_amd64v3.deb2026-01-23 18:16:45233.63 KiB
libcvc5parser1_1.3.2-1build1_amd64.deb2026-01-23 18:16:22229.25 KiB
libcvc5parser1_1.3.2-1_amd64v3.deb2025-12-24 07:24:59233.78 KiB
libcvc5parser1_1.3.2-1_amd64.deb2025-12-24 07:24:56229.25 KiB
libcvc5parser1_1.1.2-2build1_amd64.deb2025-01-03 22:43:40206.26 KiB
libcvc5parser1_1.1.2-1build1_amd64.deb2024-04-01 05:46:29204.97 KiB
libcvc5-dev_1.3.2-1build1_amd64v3.deb2026-01-23 18:16:45109.36 KiB
libcvc5-dev_1.3.2-1build1_amd64.deb2026-01-23 18:16:22109.35 KiB
libcvc5-dev_1.3.2-1_amd64v3.deb2025-12-24 07:24:59109.35 KiB
libcvc5-dev_1.3.2-1_amd64.deb2025-12-24 07:24:56109.34 KiB
libcvc5-dev_1.1.2-2build1_amd64.deb2025-01-03 22:43:4082.20 KiB
libcvc5-dev_1.1.2-1build1_amd64.deb2024-04-01 05:46:2982.23 KiB
libcvc5-1_1.3.2-1build1_amd64v3.deb2026-01-23 18:16:456.08 MiB
libcvc5-1_1.3.2-1build1_amd64.deb2026-01-23 18:16:225.89 MiB
libcvc5-1_1.3.2-1_amd64v3.deb2025-12-24 07:24:596.08 MiB
libcvc5-1_1.3.2-1_amd64.deb2025-12-24 07:24:565.89 MiB
libcvc5-1_1.1.2-2build1_amd64.deb2025-01-03 22:43:405.04 MiB
libcvc5-1_1.1.2-1build1_amd64.deb2024-04-01 05:46:294.85 MiB
cvc5_1.3.2.orig.tar.gz2025-12-24 07:24:368.82 MiB
cvc5_1.3.2-1build1_amd64v3.deb2026-01-23 18:16:45120.81 KiB
cvc5_1.3.2-1build1_amd64.deb2026-01-23 18:16:22119.17 KiB
cvc5_1.3.2-1build1.dsc2026-01-23 18:13:322.41 KiB
cvc5_1.3.2-1build1.debian.tar.xz2026-01-23 18:13:328.39 KiB
cvc5_1.3.2-1_amd64v3.deb2025-12-24 07:24:59120.80 KiB
cvc5_1.3.2-1_amd64.deb2025-12-24 07:24:56119.10 KiB
cvc5_1.3.2-1.dsc2025-12-24 07:24:362.41 KiB
cvc5_1.3.2-1.debian.tar.xz2025-12-24 07:24:368.33 KiB
cvc5_1.1.2.orig.tar.gz2024-03-03 12:23:168.18 MiB
cvc5_1.1.2-2build1_amd64.deb2025-01-03 22:43:4089.78 KiB
cvc5_1.1.2-2build1.dsc2025-01-03 22:43:242.42 KiB
cvc5_1.1.2-2build1.debian.tar.xz2025-01-03 22:43:247.30 KiB
cvc5_1.1.2-1build1_amd64.deb2024-04-01 05:46:2993.36 KiB
cvc5_1.1.2-1build1.dsc2024-03-31 20:36:422.53 KiB
cvc5_1.1.2-1build1.debian.tar.xz2024-03-31 20:36:426.42 KiB