Dear nhc-users, Jon Bernard has kindly made a binary package of nhc98-1.12 for Solaris 2.8 on x86 machines. It is available from the usual download page, http://www.cs.york.ac.uk/fp/nhc98/download.html Regards, Malcolm