Archives
Archives
| From: | "Ulrich Mueller (ulm)" <ulm@g.o> |
|---|---|
| To: | gentoo-commits@l.g.o |
| Subject: | [gentoo-commits] gentoo-x86 commit in sci-mathematics/nusmv: metadata.xml ChangeLog |
| Date: | Wed, 06 Aug 2008 20:39:27 |
| Message-Id: | E1KQpn1-0002Q1-U2@stork.gentoo.org |
| 1 | ulm 08/08/06 20:39:23 |
| 2 | |
| 3 | Modified: metadata.xml ChangeLog |
| 4 | Log: |
| 5 | Add USE flag description to metadata wrt GLEP 56. |
| 6 | (Portage version: 2.2_rc3/cvs/Linux 2.6.25-gentoo-r6 i686) |
| 7 | |
| 8 | Revision Changes Path |
| 9 | 1.3 sci-mathematics/nusmv/metadata.xml |
| 10 | |
| 11 | file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/nusmv/metadata.xml?rev=1.3&view=markup |
| 12 | plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/nusmv/metadata.xml?rev=1.3&content-type=text/plain |
| 13 | diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/nusmv/metadata.xml?r1=1.2&r2=1.3 |
| 14 | |
| 15 | Index: metadata.xml |
| 16 | =================================================================== |
| 17 | RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/metadata.xml,v |
| 18 | retrieving revision 1.2 |
| 19 | retrieving revision 1.3 |
| 20 | diff -u -r1.2 -r1.3 |
| 21 | --- metadata.xml 31 Jul 2006 17:53:41 -0000 1.2 |
| 22 | +++ metadata.xml 6 Aug 2008 20:39:23 -0000 1.3 |
| 23 | @@ -5,4 +5,7 @@ |
| 24 | <maintainer> |
| 25 | <email>robbat2@g.o</email> |
| 26 | </maintainer> |
| 27 | +<use> |
| 28 | + <flag name='minisat'>Enable support for MiniSat</flag> |
| 29 | +</use> |
| 30 | </pkgmetadata> |
| 31 | |
| 32 | |
| 33 | |
| 34 | 1.4 sci-mathematics/nusmv/ChangeLog |
| 35 | |
| 36 | file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/nusmv/ChangeLog?rev=1.4&view=markup |
| 37 | plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/nusmv/ChangeLog?rev=1.4&content-type=text/plain |
| 38 | diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/nusmv/ChangeLog?r1=1.3&r2=1.4 |
| 39 | |
| 40 | Index: ChangeLog |
| 41 | =================================================================== |
| 42 | RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v |
| 43 | retrieving revision 1.3 |
| 44 | retrieving revision 1.4 |
| 45 | diff -u -r1.3 -r1.4 |
| 46 | --- ChangeLog 18 May 2008 17:10:18 -0000 1.3 |
| 47 | +++ ChangeLog 6 Aug 2008 20:39:23 -0000 1.4 |
| 48 | @@ -1,6 +1,9 @@ |
| 49 | # ChangeLog for sci-mathematics/nusmv |
| 50 | # Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2 |
| 51 | -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.3 2008/05/18 17:10:18 markusle Exp $ |
| 52 | +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.4 2008/08/06 20:39:23 ulm Exp $ |
| 53 | + |
| 54 | + 06 Aug 2008; Ulrich Mueller <ulm@g.o> metadata.xml: |
| 55 | + Add USE flag description to metadata wrt GLEP 56. |
| 56 | |
| 57 | 18 May 2008; Markus Dittrich <markusle@g.o> nusmv-2.3.1.ebuild: |
| 58 | Switched virtual/tetex -> virtual/latex-base (see bug #222501). |