summaryrefslogtreecommitdiff
path: root/licenses/otter
diff options
context:
space:
mode:
authorA. Wilcox <AWilcox@Wilcox-Tech.com>2017-06-11 08:41:26 +0000
committerA. Wilcox <AWilcox@Wilcox-Tech.com>2017-06-11 08:41:26 +0000
commit2f6caac6019e3182486965f7f09baed7e93e1be9 (patch)
tree2d5d4350a1bbf9bafdb5f0a5260714a6190c668d /licenses/otter
parenta37f6bfc3fde25205ebac44b82f1586b924c61da (diff)
downloadpackages-2f6caac6019e3182486965f7f09baed7e93e1be9.tar.gz
packages-2f6caac6019e3182486965f7f09baed7e93e1be9.tar.bz2
packages-2f6caac6019e3182486965f7f09baed7e93e1be9.tar.xz
packages-2f6caac6019e3182486965f7f09baed7e93e1be9.zip
The New Plan
ebuild branch has old ebuilds. profiles dir still has CFLAGS. Everything else is removed or modified for changing of upstream to Alpine.
Diffstat (limited to 'licenses/otter')
-rw-r--r--licenses/otter30
1 files changed, 0 insertions, 30 deletions
diff --git a/licenses/otter b/licenses/otter
deleted file mode 100644
index d4158d9a8..000000000
--- a/licenses/otter
+++ /dev/null
@@ -1,30 +0,0 @@
-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.
-