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_amd64.deb                             05-Jan-2026 23:32              143700
libcvc5-1_1.1.2-2+b3_amd64.deb                     05-Jan-2026 23:32             6682620
libcvc5-1_1.3.2-1_amd64.deb                        05-Jan-2026 23:32             7725568
libcvc5-dev_1.1.2-2+b3_amd64.deb                   05-Jan-2026 23:32               93296
libcvc5-dev_1.3.2-1_amd64.deb                      05-Jan-2026 23:32              124012
libcvc5parser1_1.1.2-2+b3_amd64.deb                05-Jan-2026 23:32              236752
libcvc5parser1_1.3.2-1_amd64.deb                   05-Jan-2026 23:32              273180
python3-cvc5_1.1.2-2+b3_amd64.deb                  05-Jan-2026 23:32              339080
python3-cvc5_1.3.2-1_amd64.deb                     05-Jan-2026 23:32              385008