Index of /old/pool/main/c/cvc5/

../
cvc5_1.1.2-2+b3_arm64.deb                          23-Apr-2026 07:37               97292
libcvc5-1_1.1.2-2+b3_arm64.deb                     23-Apr-2026 08:18             5708748
libcvc5-dev_1.1.2-2+b3_arm64.deb                   23-Apr-2026 08:32               93260
libcvc5parser1_1.1.2-2+b3_arm64.deb                23-Apr-2026 07:55              207592
python3-cvc5_1.1.2-2+b3_arm64.deb                  23-Apr-2026 07:46              298164