uguu.org / index
size date crc type name -------- ---------- -------- ------ ---- 510 2007-12-24 57155de7 text maps/MINES.TXT 63416 2002-12-01 4c226dc8 binary maps/mines.scm