diff options
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 | 4 |
1 files changed, 2 insertions, 2 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 e8d26a4cb814..cd9279191c5b 100644 --- a/dev-lang/mercury-extras/mercury-extras-14.01.1.ebuild +++ b/dev-lang/mercury-extras/mercury-extras-14.01.1.ebuild @@ -1,11 +1,11 @@ -# Copyright 1999-2018 Gentoo Foundation +# Copyright 1999-2019 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=5 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" |