Index of /debian/pool/main/c/cvc5/

../
cvc5_1.0.3-1_amd64.deb                             27-Jul-2023 18:16              107900
cvc5_1.1.2-2+b3_amd64.deb                          10-Aug-2025 10:30              109176
libcvc5-1_1.0.3-1_amd64.deb                        27-Jul-2023 18:16             5841260
libcvc5-1_1.1.2-2+b3_amd64.deb                     10-Aug-2025 10:30             6682620
libcvc5-dev_1.0.3-1_amd64.deb                      27-Jul-2023 18:16               58584
libcvc5-dev_1.1.2-2+b3_amd64.deb                   10-Aug-2025 10:30               93296
libcvc5parser1_1.0.3-1_amd64.deb                   27-Jul-2023 18:16              306872
libcvc5parser1_1.1.2-2+b3_amd64.deb                10-Aug-2025 10:30              236752
python3-cvc5_1.1.2-2+b3_amd64.deb                  10-Aug-2025 10:30              339080