rpms/coq/devel coq.spec,1.8,1.9 import.log,1.6,1.7

[Alan Dunn]

Author: amdunn

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

Modified Files:
	coq.spec import.log 
Log Message:
Forgot to include the changelog entry for the failed F11 mass rebuild...



Index: coq.spec
===================================================================
RCS file: /cvs/pkgs/rpms/coq/devel/coq.spec,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -r1.8 -r1.9
--- coq.spec	4 Mar 2009 16:58:27 -0000	1.8
+++ coq.spec	4 Mar 2009 17:07:29 -0000	1.9
@@ -25,7 +25,7 @@
 
 Name:		coq
 Version:	8.1pl4
-Release:	2%{?dist}
+Release:	3%{?dist}
 Summary:	Coq proof management system
 
 Group:		Applications/Engineering
@@ -340,10 +340,13 @@
 
 
 %changelog
-* Wed Mar 04 2009 Alan Dunn <amdunn at gmail.com> - 8.1pl4-2
+* Wed Mar 04 2009 Alan Dunn <amdunn at gmail.com> - 8.1pl4-3
 - Minor change to cmxa-install patch instruction
 - Fixed to work with lablgtk 2.12
 
+* 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.


Index: import.log
===================================================================
RCS file: /cvs/pkgs/rpms/coq/devel/import.log,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- import.log	4 Mar 2009 16:58:27 -0000	1.6
+++ import.log	4 Mar 2009 17:07:29 -0000	1.7
@@ -4,3 +4,4 @@
 coq-8_1pl3-4_fc9:HEAD:coq-8.1pl3-4.fc9.src.rpm:1221066400
 coq-8_1pl3-5_fc9:HEAD:coq-8.1pl3-5.fc9.src.rpm:1224703139
 coq-8_1pl4-2_fc10:HEAD:coq-8.1pl4-2.fc10.src.rpm:1236185498
+coq-8_1pl4-3_fc10:HEAD:coq-8.1pl4-3.fc10.src.rpm:1236186130