Facebook Mirror

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory   -
[CMP]coquelicot_0.9.2-2.debian.tar.gz 2013-06-17 04:33 26K
[TXT]coquelicot_0.9.2-2.dsc 2013-06-17 04:33 2.2K
[   ]coquelicot_0.9.2-2_all.deb 2013-06-17 05:33 274K
[CMP]coquelicot_0.9.2.orig.tar.gz 2013-06-17 04:33 171K
[   ]coquelicot_0.9.5-1.debian.tar.xz 2015-10-23 14:36 34K
[TXT]coquelicot_0.9.5-1.dsc 2015-10-23 14:36 2.3K
[   ]coquelicot_0.9.5-1_all.deb 2015-10-23 17:51 315K
[CMP]coquelicot_0.9.5.orig.tar.gz 2015-10-23 14:36 183K
[   ]coquelicot_0.9.6-1ubuntu1.debian.tar.xz 2018-03-02 02:53 34K
[TXT]coquelicot_0.9.6-1ubuntu1.dsc 2018-03-02 02:53 2.2K
[   ]coquelicot_0.9.6-1ubuntu1_all.deb 2018-03-02 02:53 287K
[CMP]coquelicot_0.9.6.orig.tar.gz 2016-12-20 15:18 187K
[   ]coquelicot_3.2.0-8build2.debian.tar.xz 2023-02-16 10:50 2.4K
[TXT]coquelicot_3.2.0-8build2.dsc 2023-02-16 10:50 2.0K
[CMP]coquelicot_3.2.0.orig.tar.gz 2022-05-13 00:20 271K
[   ]coquelicot_3.3.1-1build1.debian.tar.xz 2023-07-24 10:37 1.9K
[TXT]coquelicot_3.3.1-1build1.dsc 2023-07-24 10:37 2.0K
[CMP]coquelicot_3.3.1.orig.tar.gz 2023-06-14 16:24 273K
[   ]coquelicot_3.4.1-1build2.debian.tar.xz 2024-02-16 16:37 2.1K
[TXT]coquelicot_3.4.1-1build2.dsc 2024-02-16 16:37 2.0K
[   ]coquelicot_3.4.1-1build3.debian.tar.xz 2024-03-24 16:33 2.2K
[TXT]coquelicot_3.4.1-1build3.dsc 2024-03-24 16:33 2.1K
[CMP]coquelicot_3.4.1.orig.tar.gz 2024-01-20 15:35 275K
[   ]libcoq-coquelicot_3.2.0-8build2_amd64.deb 2023-02-16 10:50 3.6M
[   ]libcoq-coquelicot_3.3.1-1build1_amd64.deb 2023-07-25 10:19 3.6M
[   ]libcoq-coquelicot_3.4.1-1build2_amd64.deb 2024-02-17 07:52 3.6M
[   ]libcoq-coquelicot_3.4.1-1build3_amd64.deb 2024-03-24 16:33 3.6M