public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Keri Harris" <keri@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/mercury-extras/
Date: Wed, 27 Sep 2017 18:57:08 +0000 (UTC)	[thread overview]
Message-ID: <1506538615.bcd77a6b385245c78d50769b410680a96c28400c.keri@gentoo> (raw)

commit:     bcd77a6b385245c78d50769b410680a96c28400c
Author:     Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Wed Sep 27 18:56:41 2017 +0000
Commit:     Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Wed Sep 27 18:56:55 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bcd77a6b

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

 dev-lang/mercury-extras/Manifest                      | 2 +-
 dev-lang/mercury-extras/mercury-extras-13.05.2.ebuild | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-lang/mercury-extras/Manifest b/dev-lang/mercury-extras/Manifest
index 27275008951..3b0092588c3 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-1.tar.gz 3513 SHA256 0d57f37e67fa7092243eaaf1edad5024628ff7ce40545aa722baa514d3553ddf SHA512 bd2639de9195519803c2653c898928203bdad83b04cbd868bc74f98b605bc80791c50c16546c545d8bfcd605eebef7dff9ca79be4022eb601f54b29c748e2f9d WHIRLPOOL 703faf67f9be5877225d75d47b8752f94bb55276f9858120bc3c25eb90f3d07e369bebdd64a64a35524fca7621162687146fc1c5993af58956775562ec8ad331
+DIST mercury-extras-13.05.2-gentoo-patchset-2.tar.gz 3513 SHA256 e9ae698655daa5b4e2e71dcad19281b5de6b6f9086f23c305f43c7330f7c387d SHA512 b47820a22ad67dd6fab3e14d58a9ce3a8284a32ce9970acec10f6296213a6bfe0821185f00dbc4492f7b063376049edf87e0e746d90beabd19b786eda8b7354c WHIRLPOOL ac8c6377a2656872f58346ff737580086f2933c0658babee440fbfef11a1a2e53f1e8fde053d9f1d1b74eed75a8d37e04c1b4ab13fa93265a3e6fa0ece482343
 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 9f5036cdf1f..74983d84649 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="1"
+PATCHSET_VER="2"
 MY_P=mercury-srcdist-${PV}
 
 DESCRIPTION="Additional libraries and tools that are not part of the Mercury standard library"


             reply	other threads:[~2017-09-27 18:57 UTC|newest]

Thread overview: 40+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-09-27 18:57 Keri Harris [this message]
  -- strict thread matches above, loose matches on Subject: below --
2024-10-15  1:39 [gentoo-commits] repo/gentoo:master commit in: dev-lang/mercury-extras/ Eli Schwartz
2024-10-14  5:28 Eli Schwartz
2024-06-30 20:18 Florian Schmaus
2024-06-30 20:18 Florian Schmaus
2024-06-08  7:57 Miroslav Šulc
2022-10-08 20:01 Sam James
2022-08-14 15:18 Keri Harris
2022-05-22 16:24 Keri Harris
2022-05-15 10:54 Keri Harris
2022-05-14 18:31 Keri Harris
2021-10-03 11:11 Keri Harris
2021-06-18 21:07 David Seifert
2021-01-18 16:04 Keri Harris
2021-01-07  7:25 Keri Harris
2020-09-15 11:07 Keri Harris
2020-09-13 10:48 Keri Harris
2020-07-26 13:37 Keri Harris
2020-07-23 11:43 Keri Harris
2020-07-19 20:27 Keri Harris
2020-04-02  9:38 Keri Harris
2020-04-01 10:37 Keri Harris
2020-03-29 10:43 Keri Harris
2020-03-21 17:17 Keri Harris
2020-03-21 16:40 Keri Harris
2020-02-12 18:06 David Seifert
2019-04-15 11:45 Keri Harris
2018-10-27  6:58 Keri Harris
2018-09-09 22:49 Thomas Deutschmann
2018-09-03 12:49 Keri Harris
2018-07-17 11:58 Keri Harris
2017-09-30 11:35 Keri Harris
2017-09-28  6:47 Keri Harris
2017-09-27  7:36 Keri Harris
2017-09-26 19:59 Keri Harris
2017-09-26 19:09 Keri Harris
2017-09-26 17:30 Keri Harris
2017-09-25 10:43 Keri Harris
2017-01-23 15:46 Agostino Sarubbo
2017-01-23 13:51 Agostino Sarubbo

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1506538615.bcd77a6b385245c78d50769b410680a96c28400c.keri@gentoo \
    --to=keri@gentoo.org \
    --cc=gentoo-commits@lists.gentoo.org \
    --cc=gentoo-dev@lists.gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox