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
