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.orig.tar.gz
10. cvc5_1.3.2-1.debian.tar.xz
11. cvc5_1.3.2-1.dsc
12. cvc5_1.3.2-1_amd64.deb
13. cvc5_1.3.2-1_i386.deb
14. cvc5_1.3.2.orig.tar.gz
15. libcvc5-1_1.0.3-1_amd64.deb
16. libcvc5-1_1.1.2-2+b3_amd64.deb
17. libcvc5-1_1.1.2-2+b3_i386.deb
18. libcvc5-1_1.3.2-1_amd64.deb
19. libcvc5-1_1.3.2-1_i386.deb
20. libcvc5-dev_1.0.3-1_amd64.deb
21. libcvc5-dev_1.1.2-2+b3_amd64.deb
22. libcvc5-dev_1.1.2-2+b3_i386.deb
23. libcvc5-dev_1.3.2-1_amd64.deb
24. libcvc5-dev_1.3.2-1_i386.deb
25. libcvc5parser1_1.0.3-1_amd64.deb
26. libcvc5parser1_1.1.2-2+b3_amd64.deb
27. libcvc5parser1_1.1.2-2+b3_i386.deb
28. libcvc5parser1_1.3.2-1_amd64.deb
29. libcvc5parser1_1.3.2-1_i386.deb
30. python3-cvc5_1.1.2-2+b3_amd64.deb
31. python3-cvc5_1.1.2-2+b3_i386.deb
32. python3-cvc5_1.3.2-1_amd64.deb
33. python3-cvc5_1.3.2-1_i386.deb