Index of /cothon/pool/main/c/cvc5/

../
cvc5_1.1.2-2+b3_amd64.deb                          01-May-2026 12:16              109176
cvc5_1.1.2-2+b3_arm64.deb                          01-May-2026 11:36               97292
libcvc5-1_1.1.2-2+b3_amd64.deb                     01-May-2026 11:40             6682620
libcvc5-1_1.1.2-2+b3_arm64.deb                     01-May-2026 11:50             5708748
libcvc5-dev_1.1.2-2+b3_amd64.deb                   01-May-2026 11:35               93296
libcvc5-dev_1.1.2-2+b3_arm64.deb                   01-May-2026 12:15               93260
libcvc5parser1_1.1.2-2+b3_amd64.deb                01-May-2026 12:13              236752
libcvc5parser1_1.1.2-2+b3_arm64.deb                01-May-2026 11:45              207592
python3-cvc5_1.1.2-2+b3_amd64.deb                  01-May-2026 12:02              339080
python3-cvc5_1.1.2-2+b3_arm64.deb                  01-May-2026 12:08              298164