I wrote an email to Ole Agesen, he pointed me to this mirror: http://www.cs.ucsb.edu/labs/oocsb/ I was able to download Mango from that site. The only modification I had to make for running the code, was changing all references to `unixFile' to `os_file'