summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKeri Harris <keri@gentoo.org>2017-09-28 08:47:00 +0200
committerKeri Harris <keri@gentoo.org>2017-09-28 08:47:36 +0200
commit05282df37935ef3b13c0371e679ba83f3a3d5cf1 (patch)
tree303b77cecb8263154c6d2e90e9f5d5b17194d7ec
parentmail-mta/postfix: bump to 3.3_pre20170924 (diff)
downloadgentoo-05282df3.tar.gz
gentoo-05282df3.tar.bz2
gentoo-05282df3.zip
dev-lang/mercury-extras: filter out java+erlang grades for Mercury packages that do not have java/erlang bindings
Package-Manager: Portage-2.3.8, Repoman-2.3.1
-rw-r--r--dev-lang/mercury-extras/Manifest2
-rw-r--r--dev-lang/mercury-extras/mercury-extras-13.05.2.ebuild2
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/mercury-extras/Manifest b/dev-lang/mercury-extras/Manifest
index 3b0092588c3d..3c743fffd588 100644
--- a/dev-lang/mercury-extras/Manifest
+++ b/dev-lang/mercury-extras/Manifest
@@ -1,4 +1,4 @@
-DIST mercury-extras-13.05.2-gentoo-patchset-2.tar.gz 3513 SHA256 e9ae698655daa5b4e2e71dcad19281b5de6b6f9086f23c305f43c7330f7c387d SHA512 b47820a22ad67dd6fab3e14d58a9ce3a8284a32ce9970acec10f6296213a6bfe0821185f00dbc4492f7b063376049edf87e0e746d90beabd19b786eda8b7354c WHIRLPOOL ac8c6377a2656872f58346ff737580086f2933c0658babee440fbfef11a1a2e53f1e8fde053d9f1d1b74eed75a8d37e04c1b4ab13fa93265a3e6fa0ece482343
+DIST mercury-extras-13.05.2-gentoo-patchset-3.tar.gz 3538 SHA256 96a041d185778befa98c98b232041738878666a33bd695dbc7d1e2ab9eccca41 SHA512 c151f876768c6b6ab7b46b4e2501569586249f5e185e534ebb5817206ac0844cd081ccae86a26ef85f27eab9d851017393c837728bd194520a549a0a60f738ef WHIRLPOOL 3b8eccd3252027a99a700240a45be2a1dc650055e65a4699ee3f93b8aca39da9057787e576c3e76a48a9134f25cff2c3e7a9ab88c1fc25a6eb2580d1f38ddb42
DIST mercury-extras-14.01-gentoo-patchset-1.tar.gz 3856 SHA256 2ea27bc699998834298dab3f9c1179681ac528b32f005493cd5027d0dbe52fbc SHA512 c584efd4c7af54d2e8d5af0a63acced118f356527a2bf692262e37366e1018247aac8c1bb8f700f08f8f0a2c95d979e215e3c949ec1dc2994ab40048eb5b253c WHIRLPOOL 4b5169eb5cdd70caa350e562c276a59bfe9eca5fc3d66d10a3e10b6b653d0a41dd18409c1d26a66a20d1cecf31282408fcbf2d3e5321f16a57f095dd4907165f
DIST mercury-srcdist-13.05.2.tar.gz 53847394 SHA256 8491cf419b996a315bf8664154dd91aed940274ded98e3aded733dbe1939f95f SHA512 2298804d3a04bca6be4bd3046643c7c0d0b22c447423017869cd9bf3a4fb6ec9fd29b5d8e1a386d5d52d07be5cad73608f1fcacf46732a7add93a01dcd199c08 WHIRLPOOL 2a81bebfd4b97b9bb1b0e174025e6050149c8e5f812cd97cbdc41818faa18c15f9494925f1f320682087cc45264bc00db07bef6862afef12317f77cc169a7f86
DIST mercury-srcdist-14.01.tar.gz 52683989 SHA256 4446b7b4eafd35540495ef90ce93b71cb88efa2d744628aee80f76a694aefcc1 SHA512 77f61df64fc150e08f191860f285b97d11a71a52eabc95f660b3c90d88f8ee71d1227f7ab4b8be78be9d4aa3d62a260a874020023e4795da4cfd2e6fefa9965f WHIRLPOOL a7123063590e39ae15222eb59a2c3681ae37bea211967c857eb8725090d342f0aba7a55446529f8608afb9895746581943527b1b3c313c5cbb96f638a3377404
diff --git a/dev-lang/mercury-extras/mercury-extras-13.05.2.ebuild b/dev-lang/mercury-extras/mercury-extras-13.05.2.ebuild
index 74983d84649b..a3abc55dadf1 100644
--- a/dev-lang/mercury-extras/mercury-extras-13.05.2.ebuild
+++ b/dev-lang/mercury-extras/mercury-extras-13.05.2.ebuild
@@ -5,7 +5,7 @@ EAPI=2
inherit eutils multilib
-PATCHSET_VER="2"
+PATCHSET_VER="3"
MY_P=mercury-srcdist-${PV}
DESCRIPTION="Additional libraries and tools that are not part of the Mercury standard library"