1. cryptominisat_5.11.21+dfsg1-2.debian.tar.xz
2. cryptominisat_5.11.21+dfsg1-2.dsc
3. cryptominisat_5.11.21+dfsg1-2_amd64.deb
4. cryptominisat_5.11.21+dfsg1-2_i386.deb
5. cryptominisat_5.11.21+dfsg1-3.debian.tar.xz
6. cryptominisat_5.11.21+dfsg1-3.dsc
7. cryptominisat_5.11.21+dfsg1-3_amd64.deb
8. cryptominisat_5.11.21+dfsg1-3_i386.deb
9. cryptominisat_5.11.21+dfsg1.orig.tar.xz
10. cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb
11. cryptominisat_5.11.4+dfsg1-2+b1_i386.deb
12. cryptominisat_5.11.4+dfsg1-2.debian.tar.xz
13. cryptominisat_5.11.4+dfsg1-2.dsc
14. cryptominisat_5.11.4+dfsg1.orig.tar.xz
15. cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb
16. cryptominisat_5.8.0+dfsg1-1+b3_i386.deb
17. cryptominisat_5.8.0+dfsg1-1.debian.tar.xz
18. cryptominisat_5.8.0+dfsg1-1.dsc
19. cryptominisat_5.8.0+dfsg1.orig.tar.xz
20. libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb
21. libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb
22. libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb
23. libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb
24. libcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64.deb
25. libcryptominisat5-5.11t64_5.11.21+dfsg1-3_i386.deb
26. libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb
27. libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb
28. libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb
29. libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb
30. libcryptominisat5-dev_5.11.21+dfsg1-3_amd64.deb
31. libcryptominisat5-dev_5.11.21+dfsg1-3_i386.deb
32. libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb
33. libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb
34. libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb
35. libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb
36. python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb
37. python3-cryptominisat_5.11.21+dfsg1-2_i386.deb
38. python3-cryptominisat_5.11.21+dfsg1-3_amd64.deb
39. python3-cryptominisat_5.11.21+dfsg1-3_i386.deb
40. python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb
41. python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb
42. python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb
43. python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb