Icon  Name                                         Last modified      Size  Description
[PARENTDIR] Parent Directory                                                  -   
[   ] coquelicot_0.9.2-2.debian.tar.gz             2013-06-17 11:33   26K  
[TXT] coquelicot_0.9.2-2.dsc                       2013-06-17 11:33  2.2K  
[   ] coquelicot_0.9.2-2_all.deb                   2013-06-17 12:33  274K  
[   ] coquelicot_0.9.2.orig.tar.gz                 2013-06-17 11:33  171K  
[   ] coquelicot_0.9.5-1.debian.tar.xz             2015-10-23 21:36   34K  
[TXT] coquelicot_0.9.5-1.dsc                       2015-10-23 21:36  2.3K  
[   ] coquelicot_0.9.5-1_all.deb                   2015-10-24 00:51  315K  
[   ] coquelicot_0.9.5.orig.tar.gz                 2015-10-23 21:36  183K  
[   ] coquelicot_0.9.6-1ubuntu1.debian.tar.xz      2018-03-02 10:53   34K  
[TXT] coquelicot_0.9.6-1ubuntu1.dsc                2018-03-02 10:53  2.2K  
[   ] coquelicot_0.9.6-1ubuntu1_all.deb            2018-03-02 10:53  287K  
[   ] coquelicot_0.9.6.orig.tar.gz                 2016-12-20 23:18  187K  
[   ] coquelicot_3.4.1-1build5.debian.tar.xz       2024-04-08 07:57  2.3K  
[TXT] coquelicot_3.4.1-1build5.dsc                 2024-04-08 07:57  2.1K  
[   ] coquelicot_3.4.1.orig.tar.gz                 2024-01-20 23:35  275K  
[   ] coquelicot_3.4.3-1build1.debian.tar.xz       2025-02-19 07:52  2.3K  
[TXT] coquelicot_3.4.3-1build1.dsc                 2025-02-19 07:52  2.0K  
[   ] coquelicot_3.4.3-1build10.debian.tar.xz      2026-03-07 19:00  2.5K  
[TXT] coquelicot_3.4.3-1build10.dsc                2026-03-07 19:00  2.0K  
[   ] coquelicot_3.4.3-1build5.debian.tar.xz       2025-08-31 19:42  2.4K  
[TXT] coquelicot_3.4.3-1build5.dsc                 2025-08-31 19:42  2.0K  
[   ] coquelicot_3.4.3.orig.tar.bz2                2025-02-18 01:39  225K  
[   ] coquelicot_3.4.4-5.debian.tar.xz             2026-08-13 00:17  4.2K  
[TXT] coquelicot_3.4.4-5.dsc                       2026-08-13 00:17  2.1K  
[   ] coquelicot_3.4.4.orig.tar.bz2                2026-07-29 11:15  225K  
[   ] libcoq-coquelicot_3.4.1-1build5_amd64.deb    2024-04-08 14:36  3.6M  
[   ] libcoq-coquelicot_3.4.3-1build10_amd64.deb   2026-03-07 19:01  3.7M  
[   ] libcoq-coquelicot_3.4.3-1build10_amd64v3.deb 2026-03-07 19:02  3.7M  
[   ] libcoq-coquelicot_3.4.3-1build10_arm64.deb   2026-03-07 19:03  3.7M  
[   ] libcoq-coquelicot_3.4.3-1build1_amd64.deb    2025-02-20 04:20  3.7M  
[   ] libcoq-coquelicot_3.4.3-1build5_amd64.deb    2025-09-01 19:52  3.7M  
[   ] libcoq-coquelicot_3.4.3-1build5_arm64.deb    2025-09-01 19:52  3.7M