Index of /gnu/libxmi

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] libxmi-1.2.tar.gz 2000-06-21 17:59 296K [   ] libxmi-1.1.1.tar.gz 1999-09-27 16:30 291K
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443