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

directories: 0, files: 27

NameLast modifiedSize
../
python3-cvc5_1.1.2-3_amd64v3.deb2025-10-28 01:28:50331.91 KiB
python3-cvc5_1.1.2-3_amd64.deb2025-10-28 01:16:14323.24 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.1.2-3_amd64v3.deb2025-10-28 01:28:50211.64 KiB
libcvc5parser1_1.1.2-3_amd64.deb2025-10-28 01:16:14208.19 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.1.2-3_amd64v3.deb2025-10-28 01:28:5082.26 KiB
libcvc5-dev_1.1.2-3_amd64.deb2025-10-28 01:16:1482.25 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.1.2-3_amd64v3.deb2025-10-28 01:28:515.23 MiB
libcvc5-1_1.1.2-3_amd64.deb2025-10-28 01:16:155.06 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.1.2.orig.tar.gz2024-03-03 12:23:168.18 MiB
cvc5_1.1.2-3_amd64v3.deb2025-10-28 01:28:5193.63 KiB
cvc5_1.1.2-3_amd64.deb2025-10-28 01:16:1592.49 KiB
cvc5_1.1.2-3.dsc2025-10-28 01:01:542.40 KiB
cvc5_1.1.2-3.debian.tar.xz2025-10-28 01:01:547.22 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