From 69afa41c19fbbea8322e7b388d0e97ce3a2cd94a Mon Sep 17 00:00:00 2001 From: Fergus Henderson Date: Sun, 21 Mar 1999 15:46:58 +0000 Subject: [PATCH] Update the list of ftp sites. Estimated hours taken: 0.25 .README.in: Update the list of ftp sites. --- .README.in | 19 +++++++++++++------ 1 file changed, 13 insertions(+), 6 deletions(-) diff --git a/.README.in b/.README.in index 71c24d43c..270454725 100644 --- a/.README.in +++ b/.README.in @@ -118,9 +118,16 @@ If you find something you do like, please tell the world! The Mercury distribution is available via anonymous ftp or WWW from the following locations: - Australia: - ftp://turiel.cs.mu.oz.au/pub/mercury/ - USA: - ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/ - Europe: - ftp://ftp.csd.uu.se/pub/Mercury/ + Home site: + Australia: ftp://ftp.mercury.cs.mu.oz.au/pub/mercury/ + + Mirrors: + Sweden: ftp://ftp.csd.uu.se/pub/Mercury/ + Greece: ftp://ftp.ntua.gr/pub/lang/mercury/ + + Other sites (these may be less complete and/or out-of-date): + USA: ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/ + USA: ftp://sunsite.unc.edu/pub/Linux/devel/lang/mercury/ + Sunsite also has many other mirrors, see + http://sunsite.unc.edu/pub/Linux/MIRRORS.html. +