rpms/coq/devel coq.spec,1.11,1.12
Jesse Keating
jkeating at fedoraproject.org
Fri Jul 24 19:29:47 UTC 2009
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 at lists.fedoraproject.org> - 8.2-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
+
* Thu Jun 18 2009 Alan Dunn <amdunn at gmail.com> - 8.2-1
- New upstream release
- Seems documentation license has changed or wasn't explicitly stated
More information about the Fedora-ocaml-list
mailing list