diff options
| author |   Patrick Kursawe <phosphan@gentoo.org> | 2004-10-11 06:13:45 +0000 |
|---|---|---|
| committer | Patrick Kursawe <phosphan@gentoo.org> | 2004-10-11 06:13:45 +0000 |
| commit | bb9f8b7f10adffef32205290f1894f820f7d9614 (patch) | |
| tree | 72f27cd738446afb1f677754d7357147f797b952 /profiles | |
| parent | (Manifest recommit) (diff) | |
| download | gentoo-2-bb9f8b7f10adffef32205290f1894f820f7d9614.tar.gz gentoo-2-bb9f8b7f10adffef32205290f1894f820f7d9614.tar.bz2 gentoo-2-bb9f8b7f10adffef32205290f1894f820f7d9614.zip | |
maude
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 |