diff options
| author |   George Shapovalov <george@gentoo.org> | 2003-05-16 09:49:17 +0000 |
|---|---|---|
| committer | George Shapovalov <george@gentoo.org> | 2003-05-16 09:49:17 +0000 |
| commit | b594d9652b2aad335b7ac9c59f01d9dfdd0fb8e6 (patch) | |
| tree | bc362fab147064ea3e0b26ba1059b550970204da /licenses/otter | |
| parent | version bump (diff) | |
| download | gentoo-2-b594d9652b2aad335b7ac9c59f01d9dfdd0fb8e6.tar.gz gentoo-2-b594d9652b2aad335b7ac9c59f01d9dfdd0fb8e6.tar.bz2 gentoo-2-b594d9652b2aad335b7ac9c59f01d9dfdd0fb8e6.zip | |
new license for app-sci/otter
Diffstat (limited to 'licenses/otter')
| -rw-r--r-- | licenses/otter | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/licenses/otter b/licenses/otter new file mode 100644 index 000000000000..d4158d9a845f --- /dev/null +++ b/licenses/otter @@ -0,0 +1,30 @@ +Otter and MACE Legal Information + +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 by download at www.mcs.anl.gov/AR/otter/. + +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. + |