| coquelicot_0.9.2-2.debian.tar.gz | 26.02 KB | 06/17/2013, 11:33:39 |
| coquelicot_0.9.2-2.dsc | 2.23 KB | 06/17/2013, 11:33:39 |
| coquelicot_0.9.2-2_all.deb | 274.25 KB | 06/17/2013, 12:33:39 |
| coquelicot_0.9.2.orig.tar.gz | 170.68 KB | 06/17/2013, 11:33:39 |
| coquelicot_0.9.5-1.debian.tar.xz | 33.57 KB | 10/23/2015, 21:36:35 |
| coquelicot_0.9.5-1.dsc | 2.28 KB | 10/23/2015, 21:36:35 |
| coquelicot_0.9.5-1_all.deb | 314.98 KB | 10/24/2015, 00:51:27 |
| coquelicot_0.9.5.orig.tar.gz | 182.81 KB | 10/23/2015, 21:36:35 |
| coquelicot_0.9.6-1ubuntu1.debian.tar.xz | 33.81 KB | 03/02/2018, 10:53:33 |
| coquelicot_0.9.6-1ubuntu1.dsc | 2.16 KB | 03/02/2018, 10:53:33 |
| coquelicot_0.9.6-1ubuntu1_all.deb | 287.48 KB | 03/02/2018, 10:53:34 |
| coquelicot_0.9.6.orig.tar.gz | 187.09 KB | 12/20/2016, 23:18:27 |
| coquelicot_3.4.1-1build5.debian.tar.xz | 2.27 KB | 04/08/2024, 07:57:40 |
| coquelicot_3.4.1-1build5.dsc | 2.11 KB | 04/08/2024, 07:57:40 |
| coquelicot_3.4.1-3build6.debian.tar.xz | 2.29 KB | 09/17/2024, 15:51:42 |
| coquelicot_3.4.1-3build6.dsc | 2.04 KB | 09/17/2024, 15:51:42 |
| coquelicot_3.4.1.orig.tar.gz | 274.93 KB | 01/20/2024, 23:35:33 |
| coquelicot_3.4.3-1build1.debian.tar.xz | 2.30 KB | 02/19/2025, 07:52:19 |
| coquelicot_3.4.3-1build1.dsc | 2.04 KB | 02/19/2025, 07:52:19 |
| coquelicot_3.4.3.orig.tar.bz2 | 224.93 KB | 02/18/2025, 01:39:13 |
| libcoq-coquelicot_3.4.1-1build5_amd64.deb | 3.59 MB | 04/08/2024, 14:36:30 |
| libcoq-coquelicot_3.4.1-3build6_amd64.deb | 3.68 MB | 09/19/2024, 23:39:49 |
| libcoq-coquelicot_3.4.3-1build1_amd64.deb | 3.68 MB | 02/20/2025, 04:20:11 |
