diff options
Diffstat (limited to 'dev-lang/mercury/mercury-11.07.1.ebuild')
| -rw-r--r-- | dev-lang/mercury/mercury-11.07.1.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/mercury/mercury-11.07.1.ebuild b/dev-lang/mercury/mercury-11.07.1.ebuild index e8745e86087f..dd5753dec411 100644 --- a/dev-lang/mercury/mercury-11.07.1.ebuild +++ b/dev-lang/mercury/mercury-11.07.1.ebuild @@ -1,12 +1,12 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/mercury/mercury-11.07.1.ebuild,v 1.4 2012/06/24 15:42:56 keri Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-lang/mercury/mercury-11.07.1.ebuild,v 1.5 2012/06/25 12:22:53 keri Exp $ EAPI=2 inherit autotools elisp-common eutils flag-o-matic java-pkg-opt-2 multilib -PATCHSET_VER="3" +PATCHSET_VER="4" MY_P=${PN}-compiler-${PV} DESCRIPTION="Mercury is a modern general-purpose logic/functional programming language" |