Index of /pool/universe/c/cvc5/

../
cvc5_1.1.2-1build1_arm64.deb                       02-Apr-2024 04:06               87912
cvc5_1.1.2-1build1_armhf.deb                       02-Apr-2024 01:08              104214
libcvc5-1_1.1.2-1build1_arm64.deb                  02-Apr-2024 04:06             4693310
libcvc5-1_1.1.2-1build1_armhf.deb                  02-Apr-2024 01:08             6239846
libcvc5-dev_1.1.2-1build1_arm64.deb                02-Apr-2024 04:06               84202
libcvc5-dev_1.1.2-1build1_armhf.deb                02-Apr-2024 01:08               84212
libcvc5parser1_1.1.2-1build1_arm64.deb             02-Apr-2024 04:06              198216
libcvc5parser1_1.1.2-1build1_armhf.deb             02-Apr-2024 01:08              217032
python3-cvc5_1.1.2-1build1_arm64.deb               02-Apr-2024 04:06              336332
python3-cvc5_1.1.2-1build1_armhf.deb               02-Apr-2024 01:08              349332