/usr/share/doc/mace2/copyright is in mace2 3.3f-1.1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 | This package was debianized by Peter Collingbourne <pcc03@doc.ic.ac.uk> on
Sun, 05 Nov 2006 20:43:07 +0000.
It was downloaded from http://www.cs.unm.edu/~mccune/otter/
Upstream Author: William McCune <otter@mcs.anl.gov>
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 <pcc03@doc.ic.ac.uk> and
is licensed under the GPL, see `/usr/share/common-licenses/GPL'.
|