| Parent directory/ | - | - |
| libcoq-coquelicot_3.2.0-6_amd64.deb | 3267784 | 2022-Jun-19 10:27 |
| libcoq-coquelicot_3.2.0-6_armhf.deb | 3266676 | 2022-Jun-19 10:27 |
| libcoq-coquelicot_3.2.0-6_ppc64el.deb | 3267304 | 2022-Jun-19 10:27 |
| libcoq-coquelicot_3.2.0-6_i386.deb | 3266472 | 2022-Jun-19 10:27 |
| libcoq-coquelicot_3.2.0-6_arm64.deb | 3267540 | 2022-Jun-19 10:27 |
| libcoq-coquelicot_3.2.0-6_s390x.deb | 3267288 | 2022-Jun-19 10:17 |
| coquelicot_3.2.0-6.debian.tar.xz | 2268 | 2022-Jun-19 09:57 |
| coquelicot_3.2.0-6.dsc | 2080 | 2022-Jun-19 09:57 |
| coquelicot_3.2.0.orig.tar.gz | 277736 | 2022-May-09 18:11 |
| coquelicot_0.9.6-1.debian.tar.xz | 34480 | 2016-Dec-20 14:48 |
| coquelicot_0.9.6-1.dsc | 2454 | 2016-Dec-20 14:48 |
| coquelicot_0.9.6-1_all.deb | 296474 | 2016-Dec-20 14:48 |
| coquelicot_0.9.6.orig.tar.gz | 191585 | 2016-Dec-20 14:48 |
| coquelicot_0.9.2-4.debian.tar.gz | 27648 | 2014-Sep-01 16:24 |
| coquelicot_0.9.2-4.dsc | 2209 | 2014-Sep-01 16:24 |
| coquelicot_0.9.2-4_all.deb | 272288 | 2014-Sep-01 16:24 |
| coquelicot_0.9.2.orig.tar.gz | 174781 | 2013-Apr-21 18:03 |