# ChangeLog for app-sci/otter
# Copyright 2002-2004 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-sci/otter/ChangeLog,v 1.7 2004/10/02 15:11:18 swegener Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-sci/otter/ChangeLog,v 1.8 2004/12/01 05:25:36 j4rg0n Exp $
+
+ 01 Dec 2004; <burgundy@gentoo.org> otter-3.3.ebuild:
+ Keyworded ~ppc-macos.
01 Jul 2004; Jeremy Huddleston <eradicator@gentoo.org> otter-3.2.ebuild,
otter-3.3.ebuild:
------BEGIN PGP SIGNED MESSAGE-----
-Hash: SHA1
-
-MD5 f734b7a0623b12da5b78952fac02ff29 ChangeLog 1331
+MD5 3e97c23a3d5eaa47b946daf59770aebd ChangeLog 1409
MD5 8c623e53daafa025137077c6b65815bd metadata.xml 156
MD5 9987d1075d2f3f7f21b11830147fa29d otter-3.2.ebuild 686
-MD5 b304b33a0b98f93de6a33e1a95cc8b61 otter-3.3.ebuild 702
+MD5 27c539dc5343b04d38b85d6e2fa6b664 otter-3.3.ebuild 709
MD5 b299411e0aa76723d9617046d8d7ea5e files/digest-otter-3.2 62
MD5 aa559b24f0a62ba3189129735c89b785 files/digest-otter-3.3 62
------BEGIN PGP SIGNATURE-----
-Version: GnuPG v1.9.10 (GNU/Linux)
-
-iD8DBQFBXsUcI1lqEGTUzyQRAqhCAKDaC/df+avpFu6jAlnYQ6yVoOQpigCgh4Fi
-6GePaO+rFUhMP907qeaTamc=
-=JdWA
------END PGP SIGNATURE-----
# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-sci/otter/otter-3.3.ebuild,v 1.3 2004/07/01 11:54:13 eradicator Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-sci/otter/otter-3.3.ebuild,v 1.4 2004/12/01 05:25:36 j4rg0n 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"
+KEYWORDS="~x86 ~ppc-macos"
LICENSE="otter"
SLOT="0"
IUSE=""