David> PolyML version 4.1.3 is now available. Below are a list of the David> major changes and bug fixes since the 4.1.2 release taken from David> the release notes. Version 4.1.3 has been available David> unofficially for a while but the release on the web site is now David> complete and this incorporates a few bug fixes which were only David> found during testing.
itz> the link to the i386 database file on the webpage is wrong:
itz> (I was able to download the file by guessing the correct address itz> :)
A more serious problem:
kronstadt:~/downloads$ wget http://www.polyml.org/source/polyml-mlsource-4.1.3.tar.gz --11:09:26-- http://www.polyml.org/source/polyml-mlsource-4.1.3.tar.gz => `polyml-mlsource-4.1.3.tar.gz' Resolving www.polyml.org... done. Connecting to www.polyml.org[212.23.14.10]:80... connected. HTTP request sent, awaiting response... 200 OK Length: 835,584 [application/x-tar]
100%[====================================>] 835,584 29.59K/s ETA 00:00
11:09:54 (29.59 KB/s) - `polyml-mlsource-4.1.3.tar.gz' saved [835584/835584]
kronstadt:~/downloads$ gunzip polyml-mlsource-4.1.3.tar.gz
gunzip: polyml-mlsource-4.1.3.tar.gz: unexpected end of file kronstadt:~/downloads$ gzip --version gzip 1.3.2 (2001-11-03) Copyright 2001 Free Software Foundation Copyright 1992-1993 Jean-loup Gailly This program comes with ABSOLUTELY NO WARRANTY. You may redistribute copies of this program under the terms of the GNU General Public License. For more information about these matters, see the file named COPYING. Compilation options: DIRENT UTIME STDC_HEADERS HAVE_UNISTD_H HAVE_MEMORY_H HAVE_STRING_H HAVE_LSTAT Written by Jean-loup Gailly. kronstadt:~/downloads$