rpms/prover9/devel prover9.spec,1.2,1.3
Jesse Keating
jkeating at fedoraproject.org
Sun Jul 26 19:30:22 UTC 2009
Author: jkeating
Update of /cvs/pkgs/rpms/prover9/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv7591
Modified Files:
prover9.spec
Log Message:
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
Index: prover9.spec
===================================================================
RCS file: /cvs/pkgs/rpms/prover9/devel/prover9.spec,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- prover9.spec 27 Feb 2009 02:34:17 -0000 1.2
+++ prover9.spec 26 Jul 2009 19:30:21 -0000 1.3
@@ -3,7 +3,7 @@
Name: prover9
Version: 200805a
-Release: 5%{?dist}
+Release: 6%{?dist}
Summary: Thereom Prover and Countermodel Generator
Group: Applications/Productivity
@@ -209,6 +209,9 @@ make test1 test2 test3
%changelog
+* Sun Jul 26 2009 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 200805a-6
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
+
* 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
More information about the fedora-extras-commits
mailing list