Mask >=sci-mathematics/nusmv-2.5.0 for testing.
authorPaweł Hajdan <phajdan.jr@gentoo.org>
Tue, 22 Jun 2010 20:00:12 +0000 (20:00 +0000)
committerPaweł Hajdan <phajdan.jr@gentoo.org>
Tue, 22 Jun 2010 20:00:12 +0000 (20:00 +0000)
commit6f7b2dad6f752f10b58ddea1bb80ff46cc3b0057
tree68b776421bb358b04671aa113fca0be43c8e1f30
parentdfcd0f551c30de4ad4de60715106098d3f42f04a
Mask >=sci-mathematics/nusmv-2.5.0 for testing.
profiles/ChangeLog
profiles/package.mask