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 | f628fc329ebc3fa0d5318b1ed4449fb0c15cc42a (patch) | |
| tree | 2fc01eabf46fd1a10c7e08c8943c683634b3a294 /profiles | |
| parent | (no commit message) (diff) | |
| download | historical-f628fc329ebc3fa0d5318b1ed4449fb0c15cc42a.tar.gz historical-f628fc329ebc3fa0d5318b1ed4449fb0c15cc42a.tar.bz2 historical-f628fc329ebc3fa0d5318b1ed4449fb0c15cc42a.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 |