cvc5_1.1.2-3_amd64.deb
cvc5_1.1.2-3_arm64.deb
libcvc5-1_1.1.2-3_amd64.deb
libcvc5-1_1.1.2-3_arm64.deb
libcvc5-dev_1.1.2-3_amd64.deb
libcvc5-dev_1.1.2-3_arm64.deb
libcvc5parser1_1.1.2-3_amd64.deb
libcvc5parser1_1.1.2-3_arm64.deb
python3-cvc5_1.1.2-3_amd64.deb
python3-cvc5_1.1.2-3_arm64.deb