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

../
cvc5_1.1.2-1build1_amd64.deb                       09-Oct-2026 10:40               95604
cvc5_1.3.2-1build1_amd64.deb                       09-Oct-2026 10:40              122028
libcvc5-1_1.1.2-1build1_amd64.deb                  09-Oct-2026 10:40             5085718
libcvc5-1_1.3.2-1build1_amd64.deb                  09-Oct-2026 10:40             6174394
libcvc5-dev_1.1.2-1build1_amd64.deb                09-Oct-2026 10:40               84208
libcvc5-dev_1.3.2-1build1_amd64.deb                09-Oct-2026 10:40              111976
libcvc5parser1_1.1.2-1build1_amd64.deb             09-Oct-2026 10:40              209894
libcvc5parser1_1.3.2-1build1_amd64.deb             09-Oct-2026 10:40              234750
python3-cvc5_1.1.2-1build1_amd64.deb               09-Oct-2026 10:40              347334
python3-cvc5_1.3.2-1build1_amd64.deb               09-Oct-2026 10:40              390836