diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-09-08 10:50:14 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-09-08 10:50:14 +0100 |
commit | 3f71901f8c228f4de570abed1831ce3ee425343e (patch) | |
tree | a2dcd300d05ef8a2ec275b44a92a9d85bd3baa24 /dev-lang/mercury-extras/mercury-extras-14.01.1.ebuild | |
parent | 12bb627384ddfd47382b9f1b6464481a58d01ebb (diff) |
gentoo resync 08.09.2018
Diffstat (limited to 'dev-lang/mercury-extras/mercury-extras-14.01.1.ebuild')
-rw-r--r-- | dev-lang/mercury-extras/mercury-extras-14.01.1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/mercury-extras/mercury-extras-14.01.1.ebuild b/dev-lang/mercury-extras/mercury-extras-14.01.1.ebuild index 9d5d603fcfef..55f9783589c1 100644 --- a/dev-lang/mercury-extras/mercury-extras-14.01.1.ebuild +++ b/dev-lang/mercury-extras/mercury-extras-14.01.1.ebuild @@ -5,7 +5,7 @@ EAPI=5 inherit eutils multilib -PATCHSET_VER="0" +PATCHSET_VER="1" MY_P=mercury-srcdist-${PV} DESCRIPTION="Additional libraries and tools that are not part of the Mercury standard library" |