Index of /debian/pool/main/c/covered

Icon  Name                             Last modified      Size  
[PARENTDIR] Parent Directory - [   ] covered-doc_0.7.10-2_all.deb 2014-08-12 12:01 1.6M [   ] covered-doc_0.7.10-3.1_all.deb 2021-01-02 19:13 1.6M [   ] covered-doc_0.7.10-3_all.deb 2015-06-17 12:57 1.6M [   ] covered_0.7.10-2.debian.tar.xz 2014-08-12 12:01 4.4K [   ] covered_0.7.10-2.dsc 2014-08-12 12:01 1.7K [   ] covered_0.7.10-2_amd64.deb 2014-08-12 12:01 520K [   ] covered_0.7.10-2_armel.deb 2014-08-12 12:26 447K [   ] covered_0.7.10-2_armhf.deb 2014-08-12 12:26 448K [   ] covered_0.7.10-2_i386.deb 2014-08-12 12:26 549K [   ] covered_0.7.10-3+b1_amd64.deb 2017-03-08 02:13 531K [   ] covered_0.7.10-3+b1_arm64.deb 2017-03-08 01:12 433K [   ] covered_0.7.10-3+b1_armel.deb 2017-03-08 15:28 457K [   ] covered_0.7.10-3+b1_armhf.deb 2017-03-08 07:59 461K [   ] covered_0.7.10-3+b1_i386.deb 2017-03-08 03:41 537K [   ] covered_0.7.10-3+b1_mips.deb 2017-03-08 05:12 436K [   ] covered_0.7.10-3+b1_mips64el.deb 2017-03-08 13:27 439K [   ] covered_0.7.10-3+b1_mipsel.deb 2017-03-08 13:42 444K [   ] covered_0.7.10-3+b1_ppc64el.deb 2017-03-08 11:11 452K [   ] covered_0.7.10-3+b1_s390x.deb 2017-03-08 01:58 482K [   ] covered_0.7.10-3.1.debian.tar.xz 2021-01-02 18:36 4.9K [   ] covered_0.7.10-3.1.dsc 2021-01-02 18:36 2.1K [   ] covered_0.7.10-3.1_amd64.deb 2021-01-02 21:10 537K [   ] covered_0.7.10-3.1_arm64.deb 2021-01-02 19:28 469K [   ] covered_0.7.10-3.1_armel.deb 2021-01-02 19:28 456K [   ] covered_0.7.10-3.1_armhf.deb 2021-01-02 19:43 463K [   ] covered_0.7.10-3.1_i386.deb 2021-01-02 22:37 531K [   ] covered_0.7.10-3.1_mips64el.deb 2021-01-02 19:59 444K [   ] covered_0.7.10-3.1_mipsel.deb 2021-01-02 19:43 453K [   ] covered_0.7.10-3.1_ppc64el.deb 2021-01-02 19:58 513K [   ] covered_0.7.10-3.1_s390x.deb 2021-01-02 22:01 469K [   ] covered_0.7.10-3.debian.tar.xz 2015-06-17 12:57 4.8K [   ] covered_0.7.10-3.dsc 2015-06-17 12:57 1.7K [   ] covered_0.7.10.orig.tar.gz 2010-12-09 16:32 3.0M
Apache/2.4 Server at ftp.uni-erlangen.de Port 80