Index of /key/download/nightly/archive

Icon  Name                                                             Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] KeY-2.5.8950_d2ae473728626ba9eed7a716cb80208f83f6d2e7-src.tgz 2015-02-14 18:18 13M [   ] KeY-2.5.8950_d2ae473728626ba9eed7a716cb80208f83f6d2e7.tgz 2015-02-14 18:18 14M [   ] KeY-2.5.8950_d2ae473728626ba9eed7a716cb80208f83f6d2e7.zip 2015-02-14 18:18 14M [   ] KeY-2.5.9007_8c2ac66727b2d04b21f867f4447fd10c026f76c1-src.tgz 2015-02-20 17:26 13M [   ] KeY-2.5.9007_8c2ac66727b2d04b21f867f4447fd10c026f76c1.tgz 2015-02-20 17:26 14M [   ] KeY-2.5.9007_8c2ac66727b2d04b21f867f4447fd10c026f76c1.zip 2015-02-20 17:26 14M [TXT] README-2.5.8950_d2ae473728626ba9eed7a716cb80208f83f6d2e7-src.txt 2015-02-14 18:18 2.3K [TXT] README-2.5.8950_d2ae473728626ba9eed7a716cb80208f83f6d2e7.txt 2015-02-14 18:18 2.0K [TXT] README-2.5.9007_8c2ac66727b2d04b21f867f4447fd10c026f76c1-src.txt 2015-02-20 17:26 2.3K [TXT] README-2.5.9007_8c2ac66727b2d04b21f867f4447fd10c026f76c1.txt 2015-02-20 17:26 2.0K
Apache Server at i12www.ira.uka.de Port 80