rpms/prover9/devel prover9.spec,1.1,1.2

[Jesse Keating]

Author: jkeating

Update of /cvs/pkgs/rpms/prover9/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv2037

Modified Files:
	prover9.spec 
Log Message:
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild


Index: prover9.spec
===================================================================
RCS file: /cvs/pkgs/rpms/prover9/devel/prover9.spec,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- prover9.spec	5 Aug 2008 09:04:39 -0000	1.1
+++ prover9.spec	27 Feb 2009 02:34:17 -0000	1.2
@@ -3,7 +3,7 @@
 
 Name:           prover9
 Version:        200805a
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        Thereom Prover and Countermodel Generator
 
 Group:          Applications/Productivity
@@ -209,6 +209,9 @@
 
 
 %changelog
+* Thu Feb 26 2009 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 200805a-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
+
 * Wed Jul 09 2008 Tim Colles <timc at inf.ed.ac.uk> - 200805a-4
 - exclude ppc64 architecture as test2 fails