diff options
| author |   George Shapovalov <george@gentoo.org> | 2008-08-05 13:06:13 +0000 |
|---|---|---|
| committer | George Shapovalov <george@gentoo.org> | 2008-08-05 13:06:13 +0000 |
| commit | 6e2651fb7b86edaab31987f2608f00e3cf6df0ec (patch) | |
| tree | fa0fbcb2a10ae348fdd7b0be1e9ffca31006d809 | |
| parent | Bump flac dep to force upgrade to a recent version, it would fail to build if... (diff) | |
| download | gentoo-2-6e2651fb7b86edaab31987f2608f00e3cf6df0ec.tar.gz gentoo-2-6e2651fb7b86edaab31987f2608f00e3cf6df0ec.tar.bz2 gentoo-2-6e2651fb7b86edaab31987f2608f00e3cf6df0ec.zip | |
masked last version of gnat-gpl until building shared libs is resolved
| -rw-r--r-- | profiles/package.mask | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 628125141d62..4cc55b807c49 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1,5 +1,5 @@ #################################################################### -# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.8862 2008/08/05 04:46:10 darkside Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.8863 2008/08/05 13:06:13 george Exp $ # # When you add an entry to the top of this file, add your name, the date, and # an explanation of why something is getting masked @@ -29,6 +29,10 @@ #--- END OF EXAMPLES --- +# George Shapovalov <george@gentoo.org> (5 Aug 2008) +# problems with shared libs (#231534) +=dev-lang/gnat-gpl-4.1.3.2008 + # Michael Sterrett <mr_bones_@gentoo.org> (04 Aug 2008) # Security masked: bug #233929 games-simulation/openttd |