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

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

 



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@xxxxxxxxxxxxxxxxxxxxxxx> - 8.2-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
+
 * Thu Jun 18 2009 Alan Dunn <amdunn@xxxxxxxxx> - 8.2-1
 - New upstream release
 - Seems documentation license has changed or wasn't explicitly stated

_______________________________________________
Fedora-ocaml-list mailing list
Fedora-ocaml-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-ocaml-list

[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Big List of Linux Books]     [Yosemite News]     [KDE Users]

  Powered by Linux