Index of /ubuntu/pool/universe/c/coquelicot

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coquelicot_0.9.2-2.dsc  2013-06-17 07:33  2.2K  
 coquelicot_0.9.2-2_a..> 2013-06-17 08:33  274K  
 coquelicot_0.9.5-1.dsc  2015-10-23 17:36  2.3K  
 coquelicot_0.9.5-1_a..> 2015-10-23 20:51  315K  
 coquelicot_0.9.6-1ub..> 2018-03-02 05:53  2.2K  
 coquelicot_0.9.6-1ub..> 2018-03-02 05:53  287K  
 coquelicot_3.4.1-1bu..> 2024-04-08 03:57  2.1K  
 coquelicot_3.4.1-3bu..> 2024-09-17 11:51  2.0K  
 coquelicot_3.4.3-1bu..> 2025-02-19 02:52  2.0K  
 libcoq-coquelicot_3...> 2024-04-08 10:36  3.6M  
 libcoq-coquelicot_3...> 2024-09-19 19:39  3.7M  
 libcoq-coquelicot_3...> 2025-02-19 23:20  3.7M  
 coquelicot_0.9.2-2.d..> 2013-06-17 07:33   26K  GZIP compressed docume>
 coquelicot_0.9.2.ori..> 2013-06-17 07:33  171K  GZIP compressed docume>
 coquelicot_0.9.5.ori..> 2015-10-23 17:36  183K  GZIP compressed docume>
 coquelicot_0.9.6.ori..> 2016-12-20 18:18  187K  GZIP compressed docume>
 coquelicot_3.4.1.ori..> 2024-01-20 18:35  275K  GZIP compressed docume>
 coquelicot_0.9.5-1.d..> 2015-10-23 17:36   34K  tar archive
 coquelicot_0.9.6-1ub..> 2018-03-02 05:53   34K  tar archive
 coquelicot_3.4.1-1bu..> 2024-04-08 03:57  2.3K  tar archive
 coquelicot_3.4.1-3bu..> 2024-09-17 11:51  2.3K  tar archive
 coquelicot_3.4.3-1bu..> 2025-02-19 02:52  2.3K  tar archive
 coquelicot_3.4.3.ori..> 2025-02-17 20:39  225K  tar archive