This package was debianized by Mike Furr <mfurr@debian.org> on
Fri,  9 Apr 2004 02:05:56 -0400.

It was downloaded from http://www.di.ens.fr/~monniaux/download/mlgmp-20021123.tar.gz

Upstream Author: David Monniaux <David.Monniaux@ens.fr>

Copyright:

  Copyright (C) 2001-2002 David Monniaux
  Copyright (C) 2000 Jean-Christophe Filliatre

Quote the README:

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU Library General Public License version 2, as
published by the Free Software Foundation, or any more recent version
published by the Free Software Foundation, at your choice.

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 Library General Public License version 2 for more details
(enclosed in the file LGPL.txt).

As a special exception to the GNU Library General Public License, you
may link, statically or dynamically, a "work that uses the Library"
with a publicly distributed version of the Library to produce an
executable file containing portions of the Library, and distribute
that executable file under terms of your choice, without any of the
additional requirements listed in clause 6 of the GNU Library General
Public License.  By "a publicly distributed version of the Library",
we mean either the unmodified Library as distributed by the author, or a
modified version of the Library that is distributed under the
conditions defined in clause 3 of the GNU Library General Public
License.  This exception does not however invalidate any other reasons
why the executable file might be covered by the GNU Library General
Public License.

End Quoate.
Note, the LGPL is available as
  /usr/share/common-licenses/LGPL-2
on Debian systems
