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

Icon  Name                                      Last modified      Size  
[PARENTDIR] Parent Directory                                               -   
[   ] coquelicot_0.9.6-1ubuntu1.debian.tar.xz   2018-03-02 11:53   34K  
[TXT] coquelicot_0.9.6-1ubuntu1.dsc             2018-03-02 11:53  2.2K  
[   ] coquelicot_0.9.6-1ubuntu1_all.deb         2018-03-02 11:53  287K  
[   ] coquelicot_0.9.6.orig.tar.gz              2016-12-21 00:18  187K  
[   ] coquelicot_3.4.1.orig.tar.gz              2024-01-21 00:35  275K  
[   ] libcoq-coquelicot_3.4.1-1build5_amd64.deb 2024-04-08 16:36  3.6M  
[   ] libcoq-coquelicot_3.4.1-3build6_amd64.deb 2024-09-20 01:39  3.7M

This mirror is brought to you by HR-Tech and Heiko Richter.