1. cvc5_1.0.3-1.debian.tar.xz
2. cvc5_1.0.3-1.dsc
3. cvc5_1.0.3-1_amd64.deb
4. cvc5_1.0.3.orig.tar.gz
5. cvc5_1.1.2-2+b3_amd64.deb
6. cvc5_1.1.2-2+b3_i386.deb
7. cvc5_1.1.2-2.debian.tar.xz
8. cvc5_1.1.2-2.dsc
9. cvc5_1.1.2-3.debian.tar.xz
10. cvc5_1.1.2-3.dsc
11. cvc5_1.1.2-3_amd64.deb
12. cvc5_1.1.2-3_i386.deb
13. cvc5_1.1.2.orig.tar.gz
14. libcvc5-1_1.0.3-1_amd64.deb
15. libcvc5-1_1.1.2-2+b3_amd64.deb
16. libcvc5-1_1.1.2-2+b3_i386.deb
17. libcvc5-1_1.1.2-3_amd64.deb
18. libcvc5-1_1.1.2-3_i386.deb
19. libcvc5-dev_1.0.3-1_amd64.deb
20. libcvc5-dev_1.1.2-2+b3_amd64.deb
21. libcvc5-dev_1.1.2-2+b3_i386.deb
22. libcvc5-dev_1.1.2-3_amd64.deb
23. libcvc5-dev_1.1.2-3_i386.deb
24. libcvc5parser1_1.0.3-1_amd64.deb
25. libcvc5parser1_1.1.2-2+b3_amd64.deb
26. libcvc5parser1_1.1.2-2+b3_i386.deb
27. libcvc5parser1_1.1.2-3_amd64.deb
28. libcvc5parser1_1.1.2-3_i386.deb
29. python3-cvc5_1.1.2-2+b3_amd64.deb
30. python3-cvc5_1.1.2-2+b3_i386.deb
31. python3-cvc5_1.1.2-3_amd64.deb
32. python3-cvc5_1.1.2-3_i386.deb