Copyright for otter source package in Lenny

This package was debianized by Peter Collingbourne  on
Sun, 05 Nov 2006 20:43:07 +0000.

It was downloaded from http://www.cs.unm.edu/~mccune/otter/

Upstream Author: William McCune 

Copyright: public domain

License:

Otter and MACE Legal Page

November 21, 2001.

This information refers to the Otter and MACE automated deduction
software, created at Argonne National Laboratory.

Copyrights

The University of Chicago has declined to assert its copyrights in
this software. It may be used by the public without restriction and is
available here by download.

License

This material resulted from work developed under a U.S. Government
contract and is subject to the following license: the Government is
granted for itself and the public a paid-up, nonexclusive, irrevocable
worldwide license in this material to reproduce, prepare derivative
works, distribute copies to the public, and perform publicly and
display publicly.

Disclaimer

NEITHER THE UNITED STATES GOVERNMENT NOR ANY AGENCY THEREOF, NOR ANY
OF THEIR EMPLOYEES OR OFFICERS, MAKES ANY WARRANTY, EXPRESS OR
IMPLIED, OR ASSUMES ANY LEGAL LIABILITY OR RESPONSIBILITY FOR THE
ACCURACY, COMPLETENESS, OR USEFULNESS OF ANY INFORMATION, APPARATUS,
PRODUCT, OR PROCESS DISCLOSED, OR REPRESENTS THAT ITS USE WOULD NOT
INFRINGE PRIVATELY OWNED RIGHTS. These activities are projects of the
Mathematics and Computer Science Division of Argonne National
Laboratory


The Debian packaging is (C) 2006, Peter Collingbourne  and
is licensed under the GPL, see `/usr/share/common-licenses/GPL'.