Index of /pub/gnu/libxmi

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