diff options
| author |   Jeroen Roovers <jer@gentoo.org> | 2010-11-16 21:09:17 +0000 |
|---|---|---|
| committer | Jeroen Roovers <jer@gentoo.org> | 2010-11-16 21:09:17 +0000 |
| commit | 3ba56e72688a20060d3d8a6385ffce9c9210e320 (patch) | |
| tree | 0cd7817e912dd6ffae539a5764c713652d507eb1 | |
| parent | add slot dep for glib (diff) | |
| download | gentoo-2-3ba56e72688a20060d3d8a6385ffce9c9210e320.tar.gz gentoo-2-3ba56e72688a20060d3d8a6385ffce9c9210e320.tar.bz2 gentoo-2-3ba56e72688a20060d3d8a6385ffce9c9210e320.zip | |
Remove dev-libs/gmp-5 mask (bug #344613).
| -rw-r--r-- | profiles/arch/hppa/ChangeLog | 5 | ||||
| -rw-r--r-- | profiles/arch/hppa/package.mask | 9 |
2 files changed, 4 insertions, 10 deletions
diff --git a/profiles/arch/hppa/ChangeLog b/profiles/arch/hppa/ChangeLog index b063d12dc5a9..a4610859f4bc 100644 --- a/profiles/arch/hppa/ChangeLog +++ b/profiles/arch/hppa/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for Gentoo/hppa profile # Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/arch/hppa/ChangeLog,v 1.100 2010/11/11 17:41:08 jer Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/arch/hppa/ChangeLog,v 1.101 2010/11/16 21:09:17 jer Exp $ + + 16 Nov 2010; Jeroen Roovers <jer@gentoo.org> -package.mask: + Remove dev-libs/gmp-5 mask (bug #344613). 11 Nov 2010; Jeroen Roovers <jer@gentoo.org> +package.mask: Mask dev-libs/gmp-5 (bug #344613). diff --git a/profiles/arch/hppa/package.mask b/profiles/arch/hppa/package.mask deleted file mode 100644 index 9551d31180ff..000000000000 --- a/profiles/arch/hppa/package.mask +++ /dev/null @@ -1,9 +0,0 @@ -# Copyright 1999-2010 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/arch/hppa/package.mask,v 1.32 2010/11/11 17:41:08 jer Exp $ - -# DON'T TOUCH THIS FILE. Instead, file a bug and assign it to <hppa@gentoo.org>. - -# Jeroen Roovers <jer@gentoo.org> (11 Nov 2010) -# Masked until bug #344613 is resolved. -=dev-libs/gmp-5* |