diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index b4607f693c45..5c69c1293256 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1,5 +1,5 @@ ##################################################################### -# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.3236 2004/10/10 13:24:16 axxo Exp $# +# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.3237 2004/10/11 06:13:45 phosphan Exp $# #When you add an entry to this file, add your name, the date, and an #explanation of why something is getting masked # @@ -70,6 +70,8 @@ # Patrick Kursawe <phosphan@gentoo.org> (04 Oct 2004) # necessary gcc version not yet there =dev-lang/maude-2.1.1-r1 +# same problem, better patch +=dev-lang/maude-2.1.1-r2 # <mr_bones_@gentoo.org> (30 Sep 2004) # Until www-apps/midcom is worked out |