Index of /pool/main/c/cvc5/

../
cvc5_1.1.2-3_amd64.deb                             06-Dec-2025 14:16              107800
cvc5_1.1.2-3_i386.deb                              06-Dec-2025 13:34              111452
libcvc5-1_1.1.2-3_amd64.deb                        06-Dec-2025 13:20             6691376
libcvc5-1_1.1.2-3_i386.deb                         06-Dec-2025 13:02             7260884
libcvc5-dev_1.1.2-3_amd64.deb                      06-Dec-2025 13:04               93084
libcvc5-dev_1.1.2-3_i386.deb                       06-Dec-2025 14:26               93088
libcvc5parser1_1.1.2-3_amd64.deb                   06-Dec-2025 15:09              237464
libcvc5parser1_1.1.2-3_i386.deb                    06-Dec-2025 15:04              258976
python3-cvc5_1.1.2-3_amd64.deb                     06-Dec-2025 13:23              340568
python3-cvc5_1.1.2-3_i386.deb                      06-Dec-2025 14:50              324596