cvc5_1.1.2-1build1_amd64.deb
cvc5_1.3.2-1build1_amd64.deb
libcvc5-1_1.1.2-1build1_amd64.deb
libcvc5-1_1.3.2-1build1_amd64.deb
libcvc5-dev_1.1.2-1build1_amd64.deb
libcvc5-dev_1.3.2-1build1_amd64.deb
libcvc5parser1_1.1.2-1build1_amd64.deb
libcvc5parser1_1.3.2-1build1_amd64.deb
python3-cvc5_1.1.2-1build1_amd64.deb
python3-cvc5_1.3.2-1build1_amd64.deb