mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-10 11:23:15 +00:00
Code Issues Projects Releases Wiki Activity

Update these files for the 10.04 release.

Browse Source 
Branches main, 10.04

bindist/bindist.INSTALL.in:
bindist/bindist.README:
	Update these files for the 10.04 release.
This commit is contained in:
Julien Fischer
2010-07-14 15:36:08 +00:00
parent 792fde8f6a
commit 990e4a58c7
2 changed files with 1 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
bindist/bindist.INSTALL.in
View File

@@ -3,7 +3,7 @@
# INSTALL - installation instructions and installation script
# for the binary distribution of Mercury.
#
# You need GNU C (2.6.3 or later) and GNU Make (3.69 or later) in order
# You need GNU C (3.4 or later) and GNU Make (3.69 or later) in order
# to use Mercury, though you don't need them to install this distribution.
# To use the Mercury debugger, you may also need GNU Readline.
#

11
bindist/bindist.README
View File

@@ -78,14 +78,3 @@ ftp or WWW from the following locations:
Home site:
Australia: ftp://ftp.mercury.csse.unimelb.edu.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.