Index of /ubuntu26.04/archive/pool/universe/c/cvc5/

../
cvc5_1.3.2-1build1_amd64.deb                       08-Aug-2026 22:13    119K
libcvc5-1_1.3.2-1build1_amd64.deb                  08-Aug-2026 22:13      6M
libcvc5-dev_1.3.2-1build1_amd64.deb                08-Aug-2026 22:13    109K
libcvc5parser1_1.3.2-1build1_amd64.deb             08-Aug-2026 22:13    229K
python3-cvc5_1.3.2-1build1_amd64.deb               08-Aug-2026 22:13    382K