rpms/cvc3/devel cvc3.spec,1.4,1.5

[Jerry James]

Author: jjames

Update of /cvs/pkgs/rpms/cvc3/devel
In directory cvs01.phx2.fedoraproject.org:/tmp/cvs-serv27709/devel

Modified Files:
	cvc3.spec 
Log Message:
* Thu Jun  3 2010 Jerry James <loganjerry at gmail.com> - 2.2-2
- Add python BR (bz 599887)



Index: cvc3.spec
===================================================================
RCS file: /cvs/pkgs/rpms/cvc3/devel/cvc3.spec,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -p -r1.4 -r1.5
--- cvc3.spec	19 Nov 2009 20:04:30 -0000	1.4
+++ cvc3.spec	4 Jun 2010 01:45:11 -0000	1.5
@@ -1,6 +1,6 @@
 Name:           cvc3
 Version:        2.2
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Validity checker of many-sorted first-order formulas with theories
 
 Group:          Applications/Engineering
@@ -16,7 +16,7 @@ Patch1:         cvc3-doc.patch
 BuildRoot:      %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
 
 BuildRequires:  bison, doxygen, emacs, emacs-el, flex, gnu-free-sans-fonts
-BuildRequires:  gmp-devel, java-devel, jpackage-utils, perl, time
+BuildRequires:  gmp-devel, java-devel, jpackage-utils, perl, python, time
 BuildRequires:  transfig, tex(latex), xemacs, xemacs-devel
 Requires:       gnu-free-sans-fonts
 
@@ -211,6 +211,9 @@ rm -rf %{buildroot}
 %{_xemacs_sitelispdir}/*.el
 
 %changelog
+* Thu Jun  3 2010 Jerry James <loganjerry at gmail.com> - 2.2-2
+- Add python BR (bz 599887)
+
 * Thu Nov 19 2009 Jerry James <loganjerry at gmail.com> - 2.2-1
 - Update to 2.2
 - Drop upstreamed patches (gcc4 and java)