packages: p9m4/p9m4.spec - rel 1 - R: prover9 - works

[baggins]

Author: baggins                      Date: Thu May  7 14:33:48 2009 GMT
Module: packages                      Tag: HEAD
---- Log message:
- rel 1
- R: prover9
- works

---- Files affected:
packages/p9m4:
   p9m4.spec (1.3 -> 1.4) 

---- Diffs:

================================================================
Index: packages/p9m4/p9m4.spec
diff -u packages/p9m4/p9m4.spec:1.3 packages/p9m4/p9m4.spec:1.4
--- packages/p9m4/p9m4.spec:1.3	Thu May  7 16:09:23 2009
+++ packages/p9m4/p9m4.spec	Thu May  7 16:33:43 2009
@@ -3,7 +3,7 @@
 Summary(pl.UTF-8):	Środowisko graficzne dla Prover9 i Mace4
 Name:		p9m4
 Version:	0.5
-Release:	0.1
+Release:	1
 License:	GPL v2
 Group:		Applications/Science
 Source0:	http://www.cs.unm.edu/%7Emccune/prover9/gui/%{name}-v%(echo %{version} | tr -d .).tar.gz
@@ -15,6 +15,7 @@
 BuildRequires:	python-devel
 BuildRequires:	rpm-pythonprov
 BuildRequires:	rpmbuild(macros) >= 1.219
+Requires:	prover9 >= 2007
 Requires:	python-libs
 Requires:	python-modules
 BuildArch:	noarch
@@ -66,6 +67,11 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.4  2009/05/07 14:33:43  baggins
+- rel 1
+- R: prover9
+- works
+
 Revision 1.3  2009/05/07 14:09:23  baggins
 - really no source1
 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/p9m4/p9m4.spec?r1=1.3&r2=1.4&f=u