1. cvc4_1.8-2.debian.tar.xz
2. cvc4_1.8-2.dsc
3. cvc4_1.8-2_amd64.deb
4. cvc4_1.8-2_i386.deb
5. cvc4_1.8-3+b4_amd64.deb
6. cvc4_1.8-3+b4_i386.deb
7. cvc4_1.8-3.debian.tar.xz
8. cvc4_1.8-3.dsc
9. cvc4_1.8-3_amd64.deb
10. cvc4_1.8-3_i386.deb
11. cvc4_1.8-5.debian.tar.xz
12. cvc4_1.8-5.dsc
13. cvc4_1.8-5_amd64.deb
14. cvc4_1.8-5_i386.deb
15. cvc4_1.8.orig.tar.gz
16. libcvc4-7_1.8-2_amd64.deb
17. libcvc4-7_1.8-2_i386.deb
18. libcvc4-7_1.8-3+b4_amd64.deb
19. libcvc4-7_1.8-3+b4_i386.deb
20. libcvc4-7_1.8-3_amd64.deb
21. libcvc4-7_1.8-3_i386.deb
22. libcvc4-7_1.8-5_amd64.deb
23. libcvc4-7_1.8-5_i386.deb
24. libcvc4-dev_1.8-2_amd64.deb
25. libcvc4-dev_1.8-2_i386.deb
26. libcvc4-dev_1.8-3+b4_amd64.deb
27. libcvc4-dev_1.8-3+b4_i386.deb
28. libcvc4-dev_1.8-3_amd64.deb
29. libcvc4-dev_1.8-3_i386.deb
30. libcvc4-dev_1.8-5_amd64.deb
31. libcvc4-dev_1.8-5_i386.deb
32. libcvc4parser7_1.8-2_amd64.deb
33. libcvc4parser7_1.8-2_i386.deb
34. libcvc4parser7_1.8-3+b4_amd64.deb
35. libcvc4parser7_1.8-3+b4_i386.deb
36. libcvc4parser7_1.8-3_amd64.deb
37. libcvc4parser7_1.8-3_i386.deb
38. libcvc4parser7_1.8-5_amd64.deb
39. libcvc4parser7_1.8-5_i386.deb