Sonic Logo

You're awesome. Have a mirror on us.

We love Linux, privacy, fast and affordable internet access, and working to fulfill our mission of internet freedom for all.
[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]coquelicot_0.9.2-2.debian.tar.gz2013-06-17 04:33 26K 
[   ]coquelicot_0.9.2-2_all.deb2013-06-17 05:33 274K 
[   ]coquelicot_0.9.5-1.debian.tar.xz2015-10-23 14:36 34K 
[   ]coquelicot_0.9.5-1_all.deb2015-10-23 17:51 315K 
[   ]coquelicot_0.9.6-1ubuntu1.debian.tar.xz2018-03-02 02:53 34K 
[   ]coquelicot_0.9.6-1ubuntu1_all.deb2018-03-02 02:53 287K 
[   ]coquelicot_3.4.1-1build5.debian.tar.xz2024-04-08 00:57 2.3K 
[   ]coquelicot_3.4.1-3build6.debian.tar.xz2024-09-17 08:51 2.3K 
[   ]coquelicot_3.4.3-1build1.debian.tar.xz2025-02-18 23:52 2.3K 
[   ]coquelicot_3.4.3.orig.tar.bz22025-02-17 17:39 225K 
[   ]libcoq-coquelicot_3.4.1-1build5_amd64.deb2024-04-08 07:36 3.6M 
[   ]libcoq-coquelicot_3.4.1-3build6_amd64.deb2024-09-19 16:39 3.7M 
[   ]libcoq-coquelicot_3.4.3-1build1_amd64.deb2025-02-19 20:20 3.7M