1. coquelicot_3.2.0-8.debian.tar.xz
2. coquelicot_3.2.0-8.dsc
3. coquelicot_3.2.0.orig.tar.gz
4. coquelicot_3.4.3-1.debian.tar.xz
5. coquelicot_3.4.3-1.dsc
6. coquelicot_3.4.3.orig.tar.bz2
7. coquelicot_3.4.4-1.debian.tar.xz
8. coquelicot_3.4.4-1.dsc
9. coquelicot_3.4.4-2.debian.tar.xz
10. coquelicot_3.4.4-2.dsc
11. coquelicot_3.4.4.orig.tar.bz2
12. libcoq-coquelicot_3.2.0-8+b1_amd64.deb
13. libcoq-coquelicot_3.2.0-8+b1_i386.deb
14. libcoq-coquelicot_3.4.3-1+b3_amd64.deb
15. libcoq-coquelicot_3.4.3-1+b9_amd64.deb
16. libcoq-coquelicot_3.4.4-2_amd64.deb