diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2008-08-06 20:39:23 +0000 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2008-08-06 20:39:23 +0000 |
| commit | 61e583aaa0671231bab72ba67726a241bb1d23f4 (patch) | |
| tree | fbe333556a71c5be6aa997d3185227f59f13929c /sci-mathematics | |
| parent | Add USE flag description to metadata wrt GLEP 56. (diff) | |
| download | gentoo-2-61e583aaa0671231bab72ba67726a241bb1d23f4.tar.gz gentoo-2-61e583aaa0671231bab72ba67726a241bb1d23f4.tar.bz2 gentoo-2-61e583aaa0671231bab72ba67726a241bb1d23f4.zip | |
Add USE flag description to metadata wrt GLEP 56.
(Portage version: 2.2_rc3/cvs/Linux 2.6.25-gentoo-r6 i686)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/nusmv/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/nusmv/metadata.xml | 3 |
2 files changed, 7 insertions, 1 deletions
diff --git a/sci-mathematics/nusmv/ChangeLog b/sci-mathematics/nusmv/ChangeLog index e63e0a3ef5b3..29812428f344 100644 --- a/sci-mathematics/nusmv/ChangeLog +++ b/sci-mathematics/nusmv/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/nusmv # Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.3 2008/05/18 17:10:18 markusle Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.4 2008/08/06 20:39:23 ulm Exp $ + + 06 Aug 2008; Ulrich Mueller <ulm@gentoo.org> metadata.xml: + Add USE flag description to metadata wrt GLEP 56. 18 May 2008; Markus Dittrich <markusle@gentoo.org> nusmv-2.3.1.ebuild: Switched virtual/tetex -> virtual/latex-base (see bug #222501). diff --git a/sci-mathematics/nusmv/metadata.xml b/sci-mathematics/nusmv/metadata.xml index 6236520ca11f..698ee79746d0 100644 --- a/sci-mathematics/nusmv/metadata.xml +++ b/sci-mathematics/nusmv/metadata.xml @@ -5,4 +5,7 @@ <maintainer> <email>robbat2@gentoo.org</email> </maintainer> +<use> + <flag name='minisat'>Enable support for MiniSat</flag> +</use> </pkgmetadata> |