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

directories: 0, files: 22

NameLast modifiedSize
../
python3-cvc5_1.1.2-2build1_amd64.deb2025-01-03 22:43:39349.91 KiB
python3-cvc5_1.1.2-2_amd64.deb2024-05-03 04:39:50340.88 KiB
python3-cvc5_1.1.2-1build1_amd64.deb2024-04-01 05:46:29339.19 KiB
libcvc5parser1_1.1.2-2build1_amd64.deb2025-01-03 22:43:40206.26 KiB
libcvc5parser1_1.1.2-2_amd64.deb2024-05-03 04:39:50205.34 KiB
libcvc5parser1_1.1.2-1build1_amd64.deb2024-04-01 05:46:29204.97 KiB
libcvc5-dev_1.1.2-2build1_amd64.deb2025-01-03 22:43:4082.20 KiB
libcvc5-dev_1.1.2-2_amd64.deb2024-05-03 04:39:5082.23 KiB
libcvc5-dev_1.1.2-1build1_amd64.deb2024-04-01 05:46:2982.23 KiB
libcvc5-1_1.1.2-2build1_amd64.deb2025-01-03 22:43:405.04 MiB
libcvc5-1_1.1.2-2_amd64.deb2024-05-03 04:39:504.86 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-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-2_amd64.deb2024-05-03 04:39:5092.98 KiB
cvc5_1.1.2-2.dsc2024-05-03 03:55:002.41 KiB
cvc5_1.1.2-2.debian.tar.xz2024-05-03 03:55:007.22 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