diff options
| author |   Paweł Hajdan <phajdan.jr@gentoo.org> | 2010-06-22 20:00:12 +0000 |
|---|---|---|
| committer | Paweł Hajdan <phajdan.jr@gentoo.org> | 2010-06-22 20:00:12 +0000 |
| commit | 0a05e2cdd96351e47fc366b816172dabfdb988e8 (patch) | |
| tree | aabdfe4f95e20454aadfe86ec01093bd1277ddb9 /profiles/package.mask | |
| parent | net-misc/neon renamed to net-libs/neon. (diff) | |
| download | gentoo-2-0a05e2cdd96351e47fc366b816172dabfdb988e8.tar.gz gentoo-2-0a05e2cdd96351e47fc366b816172dabfdb988e8.tar.bz2 gentoo-2-0a05e2cdd96351e47fc366b816172dabfdb988e8.zip | |
Mask >=sci-mathematics/nusmv-2.5.0 for testing.
Diffstat (limited to 'profiles/package.mask')
| -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 a574ac4522c2..cefa141fe1b4 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1,5 +1,5 @@ #################################################################### -# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.11685 2010/06/22 18:35:50 tomjbe Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.11686 2010/06/22 20:00:12 phajdan.jr 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. Please be extremely @@ -31,6 +31,10 @@ #--- END OF EXAMPLES --- +# Pawel Hajdan jr <phajdan.jr@gentoo.org> (22 Jun 2010) +# Masked for testing. It's quite "challenging" to package. +>=sci-mathematics/nusmv-2.5.0 + # Samuli Suominen <ssuominen@gentoo.org> (22 Jun 2010) # Replaced by sys-kernel/dracut # |