twelf does not depend on omake. subslot dep in case any future ebuild depends on twelf.

Package-Manager: portage-2.1.11.36/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F

3 files changed, 13 insertions, 10 deletions

diff --git a/sci-mathematics/twelf/ChangeLog b/sci-mathematics/twelf/ChangeLog
index ee24dd0ce143..3cb3db223719 100644
--- a/sci-mathematics/twelf/ChangeLog
+++ b/sci-mathematics/twelf/ChangeLog
@@ -1,6 +1,10 @@
 # ChangeLog for sci-mathematics/twelf
 # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/ChangeLog,v 1.1 2012/12/09 23:02:17 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/ChangeLog,v 1.2 2012/12/12 13:12:19 gienah Exp $
+
+  12 Dec 2012; Mark Wright <gienah@gentoo.org> twelf-1.7.1.ebuild:
+  twelf does not depend on omake. subslot dep in case any future ebuild depends
+  on twelf.
 
 *twelf-1.7.1 (09 Dec 2012)
 
diff --git a/sci-mathematics/twelf/Manifest b/sci-mathematics/twelf/Manifest
index 92169a837fdc..c02ff60894ac 100644
--- a/sci-mathematics/twelf/Manifest
+++ b/sci-mathematics/twelf/Manifest
@@ -8,13 +8,13 @@ AUX twelf-1.7.1-doc-guide-twelf-dot-texi.patch 386 SHA256 a21601d5ee953358fc155a
 AUX twelf-1.7.1-emacs-twelf-init.patch 813 SHA256 e3f2ffa9dc7e6c1d05a23ede172199a005411be3061e3d3dab65fcb126db4afe SHA512 b45415b57dee44da7a38ea1f40b58526f0f69d012a16c316ebd6c3c9c856bbffd270f034d172b4ddeb083b7289c87eabf805a96fc9475f501038fb6c85a0f571 WHIRLPOOL c48647209e071b8795fdfb8be44c8397ed814a219dba58801cccb82626025ea1b6132289f63b9d475162df3ab0365b88f38e6b797d557047872e1e9c1e0f6aff
 AUX twelf-1.7.1-emacs-twelf.patch 602 SHA256 30a8fca3da1b64d06ecb7572c62f832fba7cb2c329d73f86aa74714eba8527ef SHA512 e5fd550210b7107fdafc27906dcb22318d1b0b6044d2502cfb968fb3b5d4baca5535cd6ae995638f38395d08641e59f5b87c76eac190653a6dad89bf52eb1a97 WHIRLPOOL 647290f3c6a42e5075baa78e6683a496b6e0472e0346e4ad85d91978f09c1d1137864452f7993e2a6bb99a6b24f4615099c4e8d09aa95deb53af483de37a6006
 DIST twelf-src-1.7.1.tar.gz 1147610 SHA256 91b0d4d8c2e54452a042da0ff642f3b46b25efb36a84497aa8b96598f49a213a SHA512 1b4baa0f385b6b605583a9da312f23c775aab43e7398c6e151833a6b95c74112492530f44fcb7b14f8288774e9b63e2f9618a5debfbc4d34737bc2588f5850df WHIRLPOOL 231879beb66ff143acd3245c10b5e25a91994e67eb3b12aedd0e5a2378a94a2e1f3b29953b1ea24e98ca0063f27aff662cfdd1cea01163be435a6dbba1f0d2b9
-EBUILD twelf-1.7.1.ebuild 2435 SHA256 c85d0c3bffde90ed49bda78d06d88f20b886ed19da2846012fd5921457f00de5 SHA512 3efdeaffd7ddd35282b664b34cf4f53eb75b8422c5c90897265f95b134e3b867d016ddbe1123131cedf3b963c58183e7a6a7404a65b9ea392aa7b38dc8411ef1 WHIRLPOOL 466fcb5a44ecfee072366f3e73addcd9d9b27af81278894733e3f63f850fe38d26b9ffac873637a562358147cb1dabc63b6e134792ee3bae999a516c170f28c8
-MISC ChangeLog 600 SHA256 7aa4c8853cb95f5a39f6aebba47ba7bb4d16a6a3aa2d5a9e26d146155ade9c0f SHA512 5e840db46839d4da9177d35489146453ef6237a53afd148b9d36419ed1418c9d15eb66b67adb62f363d4c52105239fad3f807bcce27bd17d6a3c00e57fd4cb30 WHIRLPOOL d634ff1cdc87ead06f9ba0328f6ca0398b3eca733fb1cd7436dfad8d5a63c4000f746b78ecdc6f366ea81ba41fa0194988a1698a78962312143b894ea088f0bf
+EBUILD twelf-1.7.1.ebuild 2425 SHA256 7096d15d012ca2f1d8195f7fa6de607a7aa36ebeacf84eee0edc0de649253e34 SHA512 1a592ebb11662239593bf24977a829e5af2c40ca14ce6271a61c13ec0a18b6b629f3e74ed0000b349d30b4bfd61281e21d19ed06227687da6a2827d3d5833aee WHIRLPOOL 7ce71e14687feeb59b01162b0054299f2515efc072ab8d4097b01bdb594092124343056695b2a300af455e32a49db32f156df769831e954bf503a931c9739bfe
+MISC ChangeLog 760 SHA256 8392aa32bf59d9ef55e49eb78e177d2cba5d6c831a0217516655c598ac213c80 SHA512 4ec55e404542de28e036453d78bfd1eb346eed527582f5e2e36cd8638d06bfa68fcf30b5db1452e7d05762f07b03c31ac446f640798debb89fd457b8d1635ec5 WHIRLPOOL 68e80356f2dbbb35794a2f8ea4c0072b8fae39b2931a4e09cca03a38ea896cdb78c1ee138f5e8411feb3f5214fc95f6b9fa25f24b684f09ffdc44232f7ae5a89
 MISC metadata.xml 396 SHA256 d045f9992ddf5985a85a264e5dbad245c11bbf6dc5da3dea9bca082780583104 SHA512 49ce8e2a71c39ec22830e9cedfddfe573d94379b5d47baad9213258b71f385c55d75089874bb8528e67905a74acfe0835f88e2a49750e1b4a7322e9e044e38f0 WHIRLPOOL f9827d55e970247072b6067f9aca623b13668fa39bc45833299a820085bdcc9a5ba234439676a302b44880b9ab637378dee169e714f379a35496035456f3e8e4
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2.0.19 (GNU/Linux)
 
-iF4EAREIAAYFAlDFGH8ACgkQoBEVQmGOlx+PsgEA01NOnhM3ezpQ7eG8CEYZgVQ+
-rkVMyLn8y0eHQYBPdbYBAI/OXyeSaFF32Z/MJW9nHODvJnIOQUec1lk2JE9Nt+WQ
-=szXI
+iF4EAREIAAYFAlDIgrsACgkQoBEVQmGOlx8GuQEAjhX4xClj2KJhjKAved6j7ysP
+VM1/iY0iKeU7AL23jXgA/3cY/36/TtXZZp/76zZzGamUh+x6awS8UD9u6A6D7hWI
+=jZVg
 -----END PGP SIGNATURE-----
diff --git a/sci-mathematics/twelf/twelf-1.7.1.ebuild b/sci-mathematics/twelf/twelf-1.7.1.ebuild
index 368adb6d32ab..317eab7b26e4 100644
--- a/sci-mathematics/twelf/twelf-1.7.1.ebuild
+++ b/sci-mathematics/twelf/twelf-1.7.1.ebuild
@@ -1,6 +1,6 @@
 # Copyright 1999-2012 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/twelf-1.7.1.ebuild,v 1.1 2012/12/09 23:02:17 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/twelf-1.7.1.ebuild,v 1.2 2012/12/12 13:12:19 gienah Exp $
 
 EAPI="5"
 
@@ -13,7 +13,7 @@ DESCRIPTION="Twelf is an implementation of the logical framework LF."
 HOMEPAGE="http://twelf.org/"
 SRC_URI="http://twelf.plparty.org/releases/${MY_P}.tar.gz"
 
-SLOT="0"
+SLOT="0/${PV}"
 KEYWORDS="~amd64 ~x86"
 LICENSE="BSD-2"
 IUSE="doc emacs examples"
@@ -27,8 +27,7 @@ RDEPEND="dev-lang/mlton
 	emacs? (
 		virtual/emacs
 	)"
-DEPEND="${RDEPEND}
-	dev-util/omake"
+DEPEND="${RDEPEND}"
 
 S=${WORKDIR}/${PN}