mercury: updated to 0.12

[Dennis Decker Jensen]

Package: mercury
Severity: normal

mercury has been updated to version 0.12
some documentation has been updated too.
An improved tutorial should also be available.
Webpages may not be updated yet, and binarypackages
may not be available yet either.

http://www.cs.mu.oz.au/research/mercury/download/release.html

"1. We recommend GCC 3.4.x.

GCC 3.0, 3.3.1 and 4.0 will NOT work. They have bugs which cause internal
+compiler errors when compiling the C code generated by the Mercury compiler.

Avoid GCC 2.96 (distributed with Red Hat Linux 7.x) and other unofficial
+releases of GCC. Also avoid versions of GCC less than GCC 2.95.X.

2.  GNU make (version 3.69 or higher)."


-- System Information:
Debian Release: 3.1
Architecture: i386 (i686)
Kernel: Linux 2.6.10-5-386
Locale: LANG=da_DK.UTF-8, LC_CTYPE=da_DK.UTF-8 (charmap=UTF-8)