This package was debianized by Sebastian Dröge <slomo@ubuntu.com> on
Sun, 21 Aug 2005 15:58:31 +0200.

It was downloaded from http://www.dina.kvl.dk/~sestoft/mosml.html

Upstream Authors:

Sergei Romanenko <sergei.romanenko@supercompilers.ru>
Peter Sestoft <sestoft@dina.kvl.dk>

Copyright:

##########################################
for everything not noted explicitly below:
##########################################

 Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000
 Sergei Romanenko, Moscow, Russia and Peter Sestoft, Copenhagen, Denmark

 This program is free software; you can redistribute it and/or
 modify it under the terms of the GNU General Public License
 as published by the Free Software Foundation; either version 2
 of the License, or (at your option) any later version.

 This program is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 GNU General Public License for more details.

 On Debian systems, the complete text of the GNU General Public
 License, version 2, can be found in /usr/share/common-licenses/GPL-2.

##################################### 
for mosml/lib and mosml/src/mosmllib:
#####################################

 Copyright 1993 by AT&T Bell Laboratories

 Permission to use, copy, modify, and distribute this software and its
 documentation for any purpose and without fee is hereby granted,
 provided that the above copyright notice appear in all copies and that
 both the copyright notice and this permission notice and warranty
 disclaimer appear in supporting documentation, and that the name of
 AT&T Bell Laboratories or any AT&T entity not be used in advertising
 or publicity pertaining to distribution of the software without
 specific, written prior permission.

 AT&T disclaims all warranties with regard to this software, including
 all implied warranties of merchantability and fitness.  In no event
 shall AT&T be liable for any special, indirect or consequential
 damages or any damages whatsoever resulting from loss of use, data or
 profits, whether in an action of contract, negligence or other
 tortious action, arising out of or in connection with the use or
 performance of this software.

########################################
for mosml/src/runtime:

all code under this license is linked
to the camlrunm binary which is shipped
in a separate binary package. It is in
no way linked to GPLed code!
########################################

 LEGAL NOTICE

 Software: Caml Light, version 0.7 of January 1995, hereinafter
 referred to as "the software".

 The software has been designed and produced by Xavier Leroy,
 Damien Doligez, Francois Rouaix, Jerome Vouillon and Pierre Weis.
 research workers for the Institut National de Recherche en Informatique et
 en Automatique (INRIA) - Domaine de Voluceau - Rocquencourt - 78153 Le
 Chesnay Cedex - France.

 INRIA holds all ownership rights to Caml Light version 0.7.

 The software has been registered at Agence pour la Protection
 des Programmes (APP).

 Preamble:

 The software is currently being developed and INRIA desires
 that it be used by the scientific community so as to test, evaluate
 and develop it.  To this end, INRIA has decided to have a prototype of
 the software distributed by FTP.
 
 a- Extent of the rights granted by the INRIA to the user of the software:
 
 INRIA freely grants the right to use, modify and integrate the
 software in another software, provided that all derivative works are
 distributed under the same conditions as the software.
 
 b- Reproduction of the software:
 
 INRIA grants any user of the software the right to reproduce it so as
 to circulate it in accordance with the same purposes and conditions as
 those defined at point a- above.  Any copy of the software and/or relevant
 documentation must comprise reference to the ownership of INRIA and
 the present file.
 
 The user undertakes not to carry out any paying distribution of the
 software. However, he is authorized to bill any person or body for the
 cost of reproduction of said software. As regards any other type of
 distribution, the user undertakes to apply to obtain the express
 approval of INRIA.
 
 c- Guarantees:
 
 Please note that the software is a product currently being developed.
 INRIA shall not be responsible in any way concerning conformity, and in
 particular shall not be liable should the software not comply with the
 requirements of the user, INRIA not being obliged to repair any
 possible direct or indirect damage.

