diff options
Diffstat (limited to 'sci-mathematics/otter')
| -rw-r--r-- | sci-mathematics/otter/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/otter/Manifest | 4 | ||||
| -rw-r--r-- | sci-mathematics/otter/otter-3.3-r1.ebuild | 4 |
3 files changed, 8 insertions, 5 deletions
diff --git a/sci-mathematics/otter/ChangeLog b/sci-mathematics/otter/ChangeLog index 05c9df95d906..a8df141d65c2 100644 --- a/sci-mathematics/otter/ChangeLog +++ b/sci-mathematics/otter/ChangeLog @@ -1,6 +1,9 @@ # 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.5 2005/06/26 02:19:00 ribosome Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/ChangeLog,v 1.6 2005/07/24 03:55:54 dang Exp $ + + 24 Jul 2005; <dang@gentoo.org> otter-3.3-r1.ebuild: + Add ~amd64 26 Jun 2005; Olivier Fisette <ribosome@gentoo.org> -otter-3.2.ebuild, -otter-3.3.ebuild, otter-3.3-r1.ebuild: diff --git a/sci-mathematics/otter/Manifest b/sci-mathematics/otter/Manifest index e7ee4d6607ec..0c83aeb8c093 100644 --- a/sci-mathematics/otter/Manifest +++ b/sci-mathematics/otter/Manifest @@ -1,4 +1,4 @@ -MD5 7a606d253c41e5bca286be348af6bddb otter-3.3-r1.ebuild 795 -MD5 6785fa37d0d83523d636887c91686832 ChangeLog 2046 +MD5 be07d0b59a245c7c76b506734e71e3c8 otter-3.3-r1.ebuild 802 +MD5 1e9ec55cbe100a2fd2d335f6611762ae ChangeLog 2114 MD5 8c623e53daafa025137077c6b65815bd metadata.xml 156 MD5 aa559b24f0a62ba3189129735c89b785 files/digest-otter-3.3-r1 62 diff --git a/sci-mathematics/otter/otter-3.3-r1.ebuild b/sci-mathematics/otter/otter-3.3-r1.ebuild index 05d5b1d518c2..382b3142a8cb 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.2 2005/06/26 02:19:00 ribosome Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/otter-3.3-r1.ebuild,v 1.3 2005/07/24 03:55:54 dang 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="~amd64 ~ppc ~ppc-macos x86" LICENSE="otter" SLOT="0" IUSE="" |