diff options
| author |   Fabian Groffen <grobian@gentoo.org> | 2008-01-28 19:19:09 +0000 |
|---|---|---|
| committer | Fabian Groffen <grobian@gentoo.org> | 2008-01-28 19:19:09 +0000 |
| commit | d3d55f28261d2553f68c02069b8918079bfa332d (patch) | |
| tree | 9b3457f9e3bc126212987ecd04fa774be83e1136 /sci-mathematics | |
| parent | Marked stable on amd64 as per bug 207634. (diff) | |
| download | historical-d3d55f28261d2553f68c02069b8918079bfa332d.tar.gz historical-d3d55f28261d2553f68c02069b8918079bfa332d.tar.bz2 historical-d3d55f28261d2553f68c02069b8918079bfa332d.zip | |
Dropped ppc-macos keyword, see you in prefix
Package-Manager: portage-2.1.3.19
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/otter/ChangeLog | 7 | ||||
| -rw-r--r-- | sci-mathematics/otter/Manifest | 26 | ||||
| -rw-r--r-- | sci-mathematics/otter/otter-3.3-r1.ebuild | 8 |
3 files changed, 17 insertions, 24 deletions
diff --git a/sci-mathematics/otter/ChangeLog b/sci-mathematics/otter/ChangeLog index 6ce49859f5a7..59fda13d3bc7 100644 --- a/sci-mathematics/otter/ChangeLog +++ b/sci-mathematics/otter/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/otter -# Copyright 2002-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/ChangeLog,v 1.9 2007/07/31 21:57:29 phreak Exp $ +# Copyright 2002-2008 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/ChangeLog,v 1.10 2008/01/28 19:19:09 grobian Exp $ + + 28 Jan 2008; Fabian Groffen <grobian@gentoo.org> otter-3.3-r1.ebuild: + Dropped ppc-macos keyword, see you in prefix 31 Jul 2007; Christian Heim <phreak@gentoo.org> metadata.xml: Reassigning to sci from math-proof (see #138059 for reference). diff --git a/sci-mathematics/otter/Manifest b/sci-mathematics/otter/Manifest index 32e633f61f0e..81884a8e76e8 100644 --- a/sci-mathematics/otter/Manifest +++ b/sci-mathematics/otter/Manifest @@ -1,15 +1,12 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA1 - DIST otter-3.3.tar.gz 2809092 RMD160 160bd64bb799daf7d7c658b28c4fba7ca6d118fa SHA1 b02a6be1fa1c4f30be2327450f5af21812f03b50 SHA256 40d7399e96491bcdabce1427c58945b3cfa414e1cefb8edae7bbea02dd6c0249 -EBUILD otter-3.3-r1.ebuild 800 RMD160 0d4ef289b320ce20f1fc1c333e76ef476cc9873b SHA1 a60ae63539cc5ff025d92711d31b8155616130f7 SHA256 dbb10ea2e631d6cce28cdfa36cf58bb47f8e6a13ca1e6c1fe7b9d8214b09f276 -MD5 f884a8f2c044187015344d77e3be0f06 otter-3.3-r1.ebuild 800 -RMD160 0d4ef289b320ce20f1fc1c333e76ef476cc9873b otter-3.3-r1.ebuild 800 -SHA256 dbb10ea2e631d6cce28cdfa36cf58bb47f8e6a13ca1e6c1fe7b9d8214b09f276 otter-3.3-r1.ebuild 800 -MISC ChangeLog 2501 RMD160 4c1df125c43748647f8b1ea2abfc0677005c4145 SHA1 4b7d73b97d14bf0b36f1fe1e54d2e7369c2d2403 SHA256 b550611a85a29aff9e31426400809b43c0fc405575424ce33b1becfdbb8ac035 -MD5 ea9a285f118993ddf641730163f4631a ChangeLog 2501 -RMD160 4c1df125c43748647f8b1ea2abfc0677005c4145 ChangeLog 2501 -SHA256 b550611a85a29aff9e31426400809b43c0fc405575424ce33b1becfdbb8ac035 ChangeLog 2501 +EBUILD otter-3.3-r1.ebuild 789 RMD160 11090d2c1be80f2f51ba8b9e7a5ca537ad1b4e69 SHA1 dc406ee2cf293147c6b2650c4894f1a786fae9d6 SHA256 449a2e7a7d9e1d0bd038987efcf227111010d1fbd4b60733963256b77e40d38d +MD5 572e9b11f1354318a41226e5913f814d otter-3.3-r1.ebuild 789 +RMD160 11090d2c1be80f2f51ba8b9e7a5ca537ad1b4e69 otter-3.3-r1.ebuild 789 +SHA256 449a2e7a7d9e1d0bd038987efcf227111010d1fbd4b60733963256b77e40d38d otter-3.3-r1.ebuild 789 +MISC ChangeLog 2623 RMD160 2e6d6fcfd9265e6e372f6bdde6d9f3139f2520ca SHA1 02fb2c54aac37c4e29523040aefe2c5e19e2174e SHA256 bee29e8ff02ba23c6c0262ac7077a5f92fb7145b5c70c766bc0cffac08fc005e +MD5 c811841a76dece371c48f344c727c1fb ChangeLog 2623 +RMD160 2e6d6fcfd9265e6e372f6bdde6d9f3139f2520ca ChangeLog 2623 +SHA256 bee29e8ff02ba23c6c0262ac7077a5f92fb7145b5c70c766bc0cffac08fc005e ChangeLog 2623 MISC metadata.xml 157 RMD160 ed43b99e7bf8bbf62cf4e46152138ab42d3a88c5 SHA1 2182a6de0b10959aad51af2990f1a6c69e34dd97 SHA256 750cb9e46ac2b77e1adf73de43c186a8c2d2234a9c6a89d9358d0969dc5cf8ac MD5 0ffcd41aa96cf1bcffd8b539c27957db metadata.xml 157 RMD160 ed43b99e7bf8bbf62cf4e46152138ab42d3a88c5 metadata.xml 157 @@ -17,10 +14,3 @@ SHA256 750cb9e46ac2b77e1adf73de43c186a8c2d2234a9c6a89d9358d0969dc5cf8ac metadata MD5 045f389bc2a1dd61a59fe924ac424129 files/digest-otter-3.3-r1 232 RMD160 0b61254d1181abe7919a2a3c2de95e001433999d files/digest-otter-3.3-r1 232 SHA256 ee2346ebafc539b6fcde85b785e57072931bc84ff4ff92aeb6ca5f69bc4208c7 files/digest-otter-3.3-r1 232 ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.5 (GNU/Linux) - -iD8DBQFGr7BZyuNVb5qfaOYRAjLnAKDMyxyS+hSGGyVr4THBDUz0QV990QCgh8AW -ZN4Dxihf9qsvL4AOEjTpxcg= -=x/Ki ------END PGP SIGNATURE----- diff --git a/sci-mathematics/otter/otter-3.3-r1.ebuild b/sci-mathematics/otter/otter-3.3-r1.ebuild index f833477d3938..4788f537c19a 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 +# Copyright 1999-2008 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.4 2007/07/13 05:28:09 mr_bones_ Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/otter-3.3-r1.ebuild,v 1.5 2008/01/28 19:19:09 grobian 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="~amd64 ~ppc ~ppc-macos x86" +KEYWORDS="~amd64 ~ppc x86" LICENSE="otter" SLOT="0" IUSE="" @@ -15,7 +15,7 @@ DEPEND="virtual/libc" src_compile() { cd source make || die - cd ${S}/mace2 + cd "${S}"/mace2 make || die } |