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

directories: 0, files: 38

NameLast modifiedSize
../
python3-cvc5_1.3.2-1build1_arm64.deb2026-01-23 18:17:08347.82 KiB
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.1.2-2build1_arm64.deb2025-01-03 22:44:15331.49 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_arm64.deb2026-01-23 18:17:08214.08 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.1.2-2build1_arm64.deb2025-01-03 22:44:15194.75 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_arm64.deb2026-01-23 18:17:08109.35 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.1.2-2build1_arm64.deb2025-01-03 22:44:1582.20 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_arm64.deb2026-01-23 18:17:085.45 MiB
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.1.2-2build1_arm64.deb2025-01-03 22:44:154.65 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_arm64.deb2026-01-23 18:17:08112.00 KiB
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.1.2.orig.tar.gz2024-03-03 12:23:168.18 MiB
cvc5_1.1.2-2build1_arm64.deb2025-01-03 22:44:1584.92 KiB
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