# ChangeLog for profile directory
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v 1.4318 2010/06/22 17:12:54 jer Exp $
+# $Header: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v 1.4319 2010/06/22 20:00:11 phajdan.jr Exp $
#
# This ChangeLog should include records for all changes in profiles directory.
# Only typo fixes which don't affect portage/repoman behaviour could be avoided
# here. If in doubt put a record here!
+ 22 Jun 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org> package.mask:
+ Mask >=sci-mathematics/nusmv-2.5.0 for testing.
+
22 Jun 2010; Jeroen Roovers <jer@gentoo.org> package.mask:
Mask =www-client/opera-10.60_pre6378 too.
####################################################################
-# $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
#--- 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
#