| Parent directory/ | - | - |
| coquelicot_3.2.0-2.dsc | 2048 | 2022-May-17 20:00 |
| coquelicot_3.2.0-2.debian.tar.xz | 2188 | 2022-May-17 20:00 |
| coquelicot_0.9.2-4.dsc | 2209 | 2014-Sep-01 16:24 |
| coquelicot_0.9.6-1.dsc | 2454 | 2016-Dec-20 14:48 |
| coquelicot_0.9.2-4.debian.tar.gz | 27648 | 2014-Sep-01 16:24 |
| coquelicot_0.9.6-1.debian.tar.xz | 34480 | 2016-Dec-20 14:48 |
| coquelicot_0.9.2.orig.tar.gz | 174781 | 2013-Apr-21 18:03 |
| coquelicot_0.9.6.orig.tar.gz | 191585 | 2016-Dec-20 14:48 |
| coquelicot_0.9.2-4_all.deb | 272288 | 2014-Sep-01 16:24 |
| coquelicot_3.2.0.orig.tar.gz | 277736 | 2022-May-09 18:11 |
| coquelicot_0.9.6-1_all.deb | 296474 | 2016-Dec-20 14:48 |
| libcoq-coquelicot_3.2.0-2_armhf.deb | 3266072 | 2022-May-17 20:55 |
| libcoq-coquelicot_3.2.0-2_arm64.deb | 3266868 | 2022-May-17 20:55 |
| libcoq-coquelicot_3.2.0-2_i386.deb | 3267148 | 2022-May-17 20:55 |
| libcoq-coquelicot_3.2.0-2_amd64.deb | 3267184 | 2022-May-17 20:55 |
| libcoq-coquelicot_3.2.0-2_ppc64el.deb | 3267228 | 2022-May-17 20:55 |
| libcoq-coquelicot_3.2.0-2_s390x.deb | 3267528 | 2022-May-17 20:55 |