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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 libcoq-coquelicot_3...> 2025-02-18 04:40  3.7M  
 coquelicot_3.4.3-1.d..> 2025-02-18 04:39  2.2K  
 coquelicot_3.4.3.ori..> 2025-02-18 04:39  225K  
 coquelicot_3.4.3-1.dsc  2025-02-18 04:39  2.1K  
 libcoq-coquelicot_3...> 2025-02-15 23:25  3.7M  
 coquelicot_3.4.2-1bu..> 2025-02-13 01:46  2.0K  
 coquelicot_3.4.2-1bu..> 2025-02-13 01:46  2.4K  
 libcoq-coquelicot_3...> 2024-12-20 17:16  3.7M  
 coquelicot_3.4.2-1bu..> 2024-12-20 17:16  2.0K  
 coquelicot_3.4.2-1bu..> 2024-12-20 17:16  2.3K  
 coquelicot_3.4.2.ori..> 2024-11-20 21:47  225K  
 libcoq-coquelicot_3...> 2024-09-20 02:39  3.7M  
 coquelicot_3.4.1-3bu..> 2024-09-17 18:51  2.0K  
 coquelicot_3.4.1-3bu..> 2024-09-17 18:51  2.3K  
 libcoq-coquelicot_3...> 2024-04-08 17:36  3.6M  
 coquelicot_3.4.1-1bu..> 2024-04-08 10:57  2.1K  
 coquelicot_3.4.1-1bu..> 2024-04-08 10:57  2.3K  
 coquelicot_3.4.1.ori..> 2024-01-21 02:35  275K  
 coquelicot_0.9.6-1ub..> 2018-03-02 13:53  287K  
 coquelicot_0.9.6-1ub..> 2018-03-02 13:53  2.2K  
 coquelicot_0.9.6-1ub..> 2018-03-02 13:53   34K  
 coquelicot_0.9.6.ori..> 2016-12-21 02:18  187K  
 coquelicot_0.9.5-1_a..> 2015-10-24 03:51  315K  
 coquelicot_0.9.5-1.dsc  2015-10-24 00:36  2.3K  
 coquelicot_0.9.5.ori..> 2015-10-24 00:36  183K  
 coquelicot_0.9.5-1.d..> 2015-10-24 00:36   34K  
 coquelicot_0.9.2-2_a..> 2013-06-17 16:33  274K  
 coquelicot_0.9.2-2.dsc  2013-06-17 15:33  2.2K  
 coquelicot_0.9.2.ori..> 2013-06-17 15:33  171K  
 coquelicot_0.9.2-2.d..> 2013-06-17 15:33   26K