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

../
cvc5_1.1.2-2+b3_amd64.deb                          05-Jan-2026 23:32              109176
cvc5_1.3.2-1+b1_amd64.deb                          23-Apr-2026 22:11              143304
libcvc5-1_1.1.2-2+b3_amd64.deb                     05-Jan-2026 23:32             6682620
libcvc5-1_1.3.2-1+b1_amd64.deb                     23-Apr-2026 22:11             7741008
libcvc5-dev_1.1.2-2+b3_amd64.deb                   05-Jan-2026 23:32               93296
libcvc5-dev_1.3.2-1+b1_amd64.deb                   23-Apr-2026 22:11              124284
libcvc5parser1_1.1.2-2+b3_amd64.deb                05-Jan-2026 23:32              236752
libcvc5parser1_1.3.2-1+b1_amd64.deb                23-Apr-2026 22:11              273048
python3-cvc5_1.1.2-2+b3_amd64.deb                  05-Jan-2026 23:32              339080
python3-cvc5_1.3.2-1+b1_amd64.deb                  23-Apr-2026 22:11              386896