Index of /debian/pool/main/g/gertty

Icon  Name                         Last modified      Size  
[PARENTDIR] Parent Directory - [   ] gertty_1.5.0-2.debian.tar.xz 2018-09-02 14:11 3.8K [   ] gertty_1.5.0-2.dsc 2018-09-02 14:11 2.0K [   ] 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-1.debian.tar.xz 2019-08-13 10:57 4.2K [   ] gertty_1.6.0-1.dsc 2019-08-13 10:57 2.0K [   ] gertty_1.6.0-1_all.deb 2019-08-13 11:17 90K [   ] gertty_1.6.0.orig.tar.gz 2019-08-13 10:57 120K
Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 80