Index of /debian/pool/main/g/gertty
Name Last modified Size Description
Parent Directory -
gertty_1.5.0-2.dsc 2018-09-02 14:11 2.0K
gertty_1.6.0-1.dsc 2019-08-13 10:57 2.0K
gertty_1.5.0-2.debian.tar.xz 2018-09-02 14:11 3.8K
gertty_1.6.0-1.debian.tar.xz 2019-08-13 10:57 4.2K
gertty_1.6.0-1_all.deb 2019-08-13 11:17 90K
gertty_1.5.0-2_all.deb 2018-09-02 14:57 93K
gertty_1.5.0.orig.tar.gz 2017-08-09 16:55 117K
gertty_1.6.0.orig.tar.gz 2019-08-13 10:57 120K
Apache/2.4.62 (Debian) Server at debian.bio.lmu.de Port 443