Added to x86. Removed old versions.

Package-Manager: portage-2.0.51.19

7 files changed, 9 insertions, 73 deletions

diff --git a/sci-mathematics/otter/ChangeLog b/sci-mathematics/otter/ChangeLog
index 88b28d7d7467..05c9df95d906 100644
--- a/sci-mathematics/otter/ChangeLog
+++ b/sci-mathematics/otter/ChangeLog
@@ -1,6 +1,10 @@
 # ChangeLog for sci-mathematics/otter
 # Copyright 2002-2005 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/ChangeLog,v 1.4 2005/04/22 01:14:36 wormo Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/ChangeLog,v 1.5 2005/06/26 02:19:00 ribosome Exp $
+
+  26 Jun 2005; Olivier Fisette <ribosome@gentoo.org> -otter-3.2.ebuild,
+  -otter-3.3.ebuild, otter-3.3-r1.ebuild:
+  Added to x86. Removed old versions.
 
 *otter-3.3-r1 (21 Apr 2005)
 
diff --git a/sci-mathematics/otter/Manifest b/sci-mathematics/otter/Manifest
index 8f211e8449f4..e7ee4d6607ec 100644
--- a/sci-mathematics/otter/Manifest
+++ b/sci-mathematics/otter/Manifest
@@ -1,8 +1,4 @@
-MD5 5a68cd4057b8e75b2c05846684a25910 ChangeLog 1890
+MD5 7a606d253c41e5bca286be348af6bddb otter-3.3-r1.ebuild 795
+MD5 6785fa37d0d83523d636887c91686832 ChangeLog 2046
 MD5 8c623e53daafa025137077c6b65815bd metadata.xml 156
-MD5 5b9225829ac717696386cfa4798eebb0 otter-3.2.ebuild 689
-MD5 662995c794d2d82a157a87d164dedc91 otter-3.3-r1.ebuild 793
-MD5 508b843f5dabfe4c03dd079138ea1857 otter-3.3.ebuild 721
-MD5 b299411e0aa76723d9617046d8d7ea5e files/digest-otter-3.2 62
-MD5 aa559b24f0a62ba3189129735c89b785 files/digest-otter-3.3 62
 MD5 aa559b24f0a62ba3189129735c89b785 files/digest-otter-3.3-r1 62
diff --git a/sci-mathematics/otter/files/digest-otter-3.2 b/sci-mathematics/otter/files/digest-otter-3.2
deleted file mode 100644
index 7bbfae3b5482..000000000000
--- a/sci-mathematics/otter/files/digest-otter-3.2
+++ /dev/null
@@ -1 +0,0 @@
-MD5 8e318fa7b4f7115bc3b2b1d29df2ef32 otter-3.2.tar.gz 1540512
diff --git a/sci-mathematics/otter/files/digest-otter-3.3 b/sci-mathematics/otter/files/digest-otter-3.3
deleted file mode 100644
index 6d9defe1aa7b..000000000000
--- a/sci-mathematics/otter/files/digest-otter-3.3
+++ /dev/null
@@ -1 +0,0 @@
-MD5 516b659ffe23ff64ea8af45724b83196 otter-3.3.tar.gz 2809092
diff --git a/sci-mathematics/otter/otter-3.2.ebuild b/sci-mathematics/otter/otter-3.2.ebuild
deleted file mode 100644
index 6fa137c04333..000000000000
--- a/sci-mathematics/otter/otter-3.2.ebuild
+++ /dev/null
@@ -1,31 +0,0 @@
-# Copyright 1999-2005 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/otter-3.2.ebuild,v 1.2 2005/04/22 00:06:28 wormo Exp $
-
-DESCRIPTION="An Automated Deduction System."
-SRC_URI="http://www-unix.mcs.anl.gov/AR/${PN}/${P}.tar.gz"
-HOMEPAGE="http://www-unix.mcs.anl.gov/AR/otter/"
-
-KEYWORDS="x86"
-LICENSE="otter"
-SLOT="0"
-IUSE=""
-DEPEND="virtual/libc"
-S=${WORKDIR}/${P}/source
-WORK=${WORKDIR}/${P}
-
-
-src_compile() {
-	cd ${S}
-	emake || die
-	cd ${S}/mace
-	emake || die
-}
-
-src_install() {
-	cd ${S}
-	dobin otter mace/mace formed/formed
-	cd ${WORK}
-	dodoc README Legal Copying Changelog documents/*
-}
-
diff --git a/sci-mathematics/otter/otter-3.3-r1.ebuild b/sci-mathematics/otter/otter-3.3-r1.ebuild
index 8769ac3bcec3..05d5b1d518c2 100644
--- a/sci-mathematics/otter/otter-3.3-r1.ebuild
+++ b/sci-mathematics/otter/otter-3.3-r1.ebuild
@@ -1,12 +1,12 @@
 # Copyright 1999-2005 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/otter-3.3-r1.ebuild,v 1.1 2005/04/22 01:14:36 wormo Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/otter-3.3-r1.ebuild,v 1.2 2005/06/26 02:19:00 ribosome Exp $
 
 DESCRIPTION="An Automated Deduction System."
 SRC_URI="http://www-unix.mcs.anl.gov/AR/${PN}/${P}.tar.gz"
 HOMEPAGE="http://www-unix.mcs.anl.gov/AR/otter/"
 
-KEYWORDS="~x86 ~ppc-macos ~ppc"
+KEYWORDS="x86 ~ppc-macos ~ppc"
 LICENSE="otter"
 SLOT="0"
 IUSE=""
diff --git a/sci-mathematics/otter/otter-3.3.ebuild b/sci-mathematics/otter/otter-3.3.ebuild
deleted file mode 100644
index 1473c5ee0b71..000000000000
--- a/sci-mathematics/otter/otter-3.3.ebuild
+++ /dev/null
@@ -1,31 +0,0 @@
-# Copyright 1999-2005 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/otter-3.3.ebuild,v 1.2 2005/04/22 00:06:28 wormo Exp $
-
-DESCRIPTION="An Automated Deduction System."
-SRC_URI="http://www-unix.mcs.anl.gov/AR/${PN}/${P}.tar.gz"
-HOMEPAGE="http://www-unix.mcs.anl.gov/AR/otter/"
-
-KEYWORDS="~x86 ~ppc-macos ~ppc"
-LICENSE="otter"
-SLOT="0"
-IUSE=""
-DEPEND="virtual/libc"
-
-
-
-src_compile() {
-	cd source
-	make || die
-	cd ${S}/mace2
-	make || die
-}
-
-src_install() {
-	dobin bin/* source/formed/formed
-	dodoc README* Legal Changelog Contents documents/*.{tex,ps}
-	insinto /usr/share/doc/${PF}
-	doins documents/*.pdf
-	dohtml index.html
-}
-