diff options
| author |   Michael Sterrett <mr_bones_@gentoo.org> | 2008-08-05 18:04:29 +0000 |
|---|---|---|
| committer | Michael Sterrett <mr_bones_@gentoo.org> | 2008-08-05 18:04:29 +0000 |
| commit | 9329b2e7b4ab118da4777bc23caf17f1efede24c (patch) | |
| tree | 897821e5452db01960742d6e19d804ef02a14edc /profiles | |
| parent | Screw me, and I take my previous comment back. I shouldn't apply (diff) | |
| download | gentoo-2-9329b2e7b4ab118da4777bc23caf17f1efede24c.tar.gz gentoo-2-9329b2e7b4ab118da4777bc23caf17f1efede24c.tar.bz2 gentoo-2-9329b2e7b4ab118da4777bc23caf17f1efede24c.zip | |
add dev-ada/asis-gpl to the gnat-gpl masking
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 4cc55b807c49..f34d11928e33 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1,5 +1,5 @@ #################################################################### -# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.8863 2008/08/05 13:06:13 george Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.8864 2008/08/05 18:04:29 mr_bones_ 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 @@ -32,6 +32,7 @@ # George Shapovalov <george@gentoo.org> (5 Aug 2008) # problems with shared libs (#231534) =dev-lang/gnat-gpl-4.1.3.2008 +=dev-ada/asis-gpl-4.1.3.2008 # Michael Sterrett <mr_bones_@gentoo.org> (04 Aug 2008) # Security masked: bug #233929 |