rpms/coq/devel coq.spec,1.6,1.7

[Jesse Keating]

Author: jkeating

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

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


Index: coq.spec
===================================================================
RCS file: /cvs/pkgs/rpms/coq/devel/coq.spec,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- coq.spec	5 Dec 2008 15:49:55 -0000	1.6
+++ coq.spec	24 Feb 2009 09:10:32 -0000	1.7
@@ -25,7 +25,7 @@
 
 Name:		coq
 Version:	8.1pl4
-Release:	1%{?dist}
+Release:	2%{?dist}
 Summary:	Coq proof management system
 
 Group:		Applications/Engineering
@@ -333,6 +333,9 @@
 
 
 %changelog
+* Tue Feb 24 2009 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 8.1pl4-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
+
 * Fri Dec  5 2008 Richard W.M. Jones <rjones at redhat.com> - 8.1pl4-1
 - New upstream version 8.1pl4.
 - Attempt to rebuild against OCaml 3.11.0.