1. coq-quickchick_1.6.4-3.debian.tar.xz
2. coq-quickchick_1.6.4-3.dsc
3. coq-quickchick_1.6.4.orig.tar.gz
4. coq-quickchick_2.1.0-1.1.debian.tar.xz
5. coq-quickchick_2.1.0-1.1.dsc
6. coq-quickchick_2.1.0-1.debian.tar.xz
7. coq-quickchick_2.1.0-1.dsc
8. coq-quickchick_2.1.0.orig.tar.gz
9. coq-quickchick_2.1.1-1.debian.tar.xz
10. coq-quickchick_2.1.1-1.dsc
11. coq-quickchick_2.1.1-2.debian.tar.xz
12. coq-quickchick_2.1.1-2.dsc
13. coq-quickchick_2.1.1.orig.tar.gz
14. libcoq-quickchick_1.6.4-3+b1_amd64.deb
15. libcoq-quickchick_1.6.4-3+b1_i386.deb
16. libcoq-quickchick_2.1.0-1+b2_amd64.deb
17. libcoq-quickchick_2.1.0-1.1+b2_amd64.deb
18. libcoq-quickchick_2.1.1-2_amd64.deb
19. quickchick_1.6.4-3+b1_amd64.deb
20. quickchick_1.6.4-3+b1_i386.deb
21. quickchick_2.1.0-1+b2_amd64.deb
22. quickchick_2.1.0-1.1+b2_amd64.deb
23. quickchick_2.1.1-2_amd64.deb