[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

rpms/coq/devel coq.spec,1.11,1.12



Author: jkeating

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

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


Index: coq.spec
===================================================================
RCS file: /cvs/pkgs/rpms/coq/devel/coq.spec,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -p -r1.11 -r1.12
--- coq.spec	19 Jun 2009 11:14:52 -0000	1.11
+++ coq.spec	24 Jul 2009 19:29:30 -0000	1.12
@@ -29,7 +29,7 @@
 
 Name:		coq
 Version:	8.2
-Release:	1%{?dist}
+Release:	2%{?dist}
 Summary:	Coq proof management system
 
 Group:		Applications/Engineering
@@ -324,6 +324,9 @@ rm -rf %{buildroot}
 %doc README.coq-emacs
 
 %changelog
+* Fri Jul 24 2009 Fedora Release Engineering <rel-eng lists fedoraproject org> - 8.2-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
+
 * Thu Jun 18 2009 Alan Dunn <amdunn gmail com> - 8.2-1
 - New upstream release
 - Seems documentation license has changed or wasn't explicitly stated


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]