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 _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
