../ !INDEX 28-Jan-2003 09:00 285 !INDEX.html 28-Jan-2003 09:00 1187 !INDEX.short.html 28-Jan-2003 09:00 710 README 11-Feb-1999 09:00 99 mercury-0.7.3-core.tar.gz 27-Jan-1998 09:00 5048812 mercury-0.7.3.lsm 27-Jan-1998 09:00 1384 mercury-compiler-0.10.1.lsm 04-Apr-2001 08:00 1420 mercury-compiler-0.10.1.tar.gz 04-Apr-2001 08:00 10428428 mercury-compiler-0.11.0.lsm 28-Jan-2003 09:00 1420 mercury-compiler-0.11.0.tar.gz 28-Jan-2003 09:00 15598754