Index of /debian/pool/main/c/coquelicot

Icon  Name                                     Last modified      Size  
[PARENTDIR] Parent Directory - [   ] coquelicot_0.9.2-4.debian.tar.gz 2014-09-01 18:24 27K [   ] coquelicot_0.9.2-4.dsc 2014-09-01 18:24 2.2K [   ] coquelicot_0.9.2-4_all.deb 2014-09-01 18:24 266K [   ] coquelicot_0.9.2.orig.tar.gz 2013-04-21 20:03 171K [   ] coquelicot_0.9.6-1.debian.tar.xz 2016-12-20 15:48 34K [   ] coquelicot_0.9.6-1.dsc 2016-12-20 15:48 2.4K [   ] coquelicot_0.9.6-1_all.deb 2016-12-20 15:48 290K [   ] coquelicot_0.9.6.orig.tar.gz 2016-12-20 15:48 187K [   ] coquelicot_3.2.0-7.debian.tar.xz 2022-07-05 15:32 2.3K [   ] coquelicot_3.2.0-7.dsc 2022-07-05 15:32 2.0K [   ] coquelicot_3.2.0.orig.tar.gz 2022-05-09 20:11 271K [   ] libcoq-coquelicot_3.2.0-7+b2_amd64.deb 2022-11-30 05:27 3.1M [   ] libcoq-coquelicot_3.2.0-7+b2_arm64.deb 2022-11-30 05:42 3.1M [   ] libcoq-coquelicot_3.2.0-7+b2_armhf.deb 2022-11-30 04:57 3.1M [   ] libcoq-coquelicot_3.2.0-7+b2_i386.deb 2022-11-30 02:46 3.1M [   ] libcoq-coquelicot_3.2.0-7+b2_ppc64el.deb 2022-11-30 04:57 3.1M [   ] libcoq-coquelicot_3.2.0-7+b2_s390x.deb 2022-11-30 05:43 3.1M
Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 80