1. cadical_1.5.3-2.debian.tar.xz
2. cadical_1.5.3-2.dsc
3. cadical_1.5.3-2_amd64.deb
4. cadical_1.5.3-2_i386.deb
5. cadical_1.5.3.orig.tar.gz
6. cadical_1.7.4-1+b1_amd64.deb
7. cadical_1.7.4-1+b1_i386.deb
8. cadical_1.7.4-1.debian.tar.xz
9. cadical_1.7.4-1.dsc
10. cadical_1.7.4.orig.tar.gz
11. cadical_2.1.3-1.debian.tar.xz
12. cadical_2.1.3-1.dsc
13. cadical_2.1.3-1_amd64.deb
14. cadical_2.1.3-1_i386.deb
15. cadical_2.1.3.orig.tar.gz
16. libcadical-dev_1.5.3-2_amd64.deb
17. libcadical-dev_1.5.3-2_i386.deb
18. libcadical-dev_1.7.4-1+b1_amd64.deb
19. libcadical-dev_1.7.4-1+b1_i386.deb
20. libcadical-dev_2.1.3-1_amd64.deb
21. libcadical-dev_2.1.3-1_i386.deb