This package was debianized by Milan Zamazal pdm@fi.muni.cz on
Tue, 4 Mar 1997 16:01:10 +0100.

It was put together from files downloaded from
ftp://ftp.csd.uu.se/pub/mirror/mercury/mercury-0.6.tar.gz and
ftp://ftp.csd.uu.se/pub/mirror/mercury/mercury-0.6-0.6.1.patch .


Copyright:


The Mercury implementation is free software, but it is Copyright (C) 1994-1996
The University of Melbourne.  It is distributed under the terms of the GNU
General Public License.  The Mercury library and runtime (the files in the
library and runtime subdirectories) are distributed under the terms of the GNU
Library General Public License.  (If those licencing arrangements are not
satisfactory, please contact us!  We are willing to offer alternative
arrangements, if the need should arise.)

THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED OR
IMPLIED.  ANY USE IS AT YOUR OWN RISK.


The subdirectory `boehm_gc' contains a conservative garbage collector
distributed by Hans Boehm:

Copyright 1988, 1989 Hans-J. Boehm, Alan J. Demers
Copyright (c) 1991-1995 by Xerox Corporation.  All rights reserved.

THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED OR
IMPLIED.  ANY USE IS AT YOUR OWN RISK.

Permission is hereby granted to use or copy this program for any purpose,
provided the above notices are retained on all copies.  Permission to modify
the code and to distribute modified code is granted, provided the above notices
are retained, and a notice that the code was modified is included with the
above copyright notice.


A few files (config*, runtime/timing.c) are derived from code that is copyright
by the Free Software Foundation, Inc.


The program `texi2html' in the doc directory (contained only in source package)
is copyright by CERN:

This program is the intellectual property of the European Laboratory for
Particle Physics (known as CERN).  No guarantee whatsoever is provided by CERN.
No liability whatsoever is accepted for any loss or damage of any kind
resulting from any defect or inaccuracy in this information or code.

