../ nhc98-1.18-library-interfaces.tar.gz 28-Mar-2005 17:25 114K nhc98src-1.16.tar.gz 14-Apr-2003 06:47 5M patch-1.16-ghc6 11-Nov-2003 04:22 3079 patch-1.16-typesyn 11-May-2003 08:31 5700