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

../
cvc5_1.1.2-1build1_amd64.deb                       24-Oct-2026 14:30     93K
libcvc5-1_1.1.2-1build1_amd64.deb                  24-Oct-2026 13:55      5M
libcvc5-dev_1.1.2-1build1_amd64.deb                24-Oct-2026 13:08     82K
libcvc5parser1_1.1.2-1build1_amd64.deb             24-Oct-2026 13:43    205K
python3-cvc5_1.1.2-1build1_amd64.deb               24-Oct-2026 13:52    339K