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 <[email protected]>
- 8.2-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
+
* Thu Jun 18 2009 Alan Dunn <[email protected]> - 8.2-1
- New upstream release
- Seems documentation license has changed or wasn't explicitly stated
_______________________________________________
Fedora-ocaml-list mailing list
[email protected]
https://www.redhat.com/mailman/listinfo/fedora-ocaml-list
