Index of /pub/gnu/libxmi/

../
libxmi-1.1.1.tar.gz                                26-Sep-1999 21:00              298416
libxmi-1.2.tar.gz                                  20-Jun-2000 21:00              302662