Index of /pub/gnu/libxmi

      Name                    Last modified      Size  Description
libxmi-1.1.1.tar.gz 1999-09-27 11:30 291K libxmi-1.2.tar.gz 2000-06-21 12:59 296K