On Fri, Jul 06, 2012 at 04:55:19PM -0400, Bill Nottingham wrote:
Removing: emacs-common-proofgeneral
coq requires xemacs-proofgeneral = 3.7.1-5.fc15
coq requires emacs-proofgeneral = 3.7.1-5.fc15
coq-emacs requires emacs-proofgeneral = 3.7.1-5.fc15
coq-xemacs requires xemacs-proofgeneral = 3.7.1-5.fc15
The dependency here is that the Coq emacs mode requires
the proofgeneral emacs mode. I will drop the dependency
and the coq-{,x}emacs subpackages (from Coq) unless someone
takes the above package.
Note that Coq itself doesn't build right now .. see the email
I sent a few days ago to this list.
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
Read my programming blog:
http://rwmj.wordpress.com
Fedora now supports 80 OCaml packages (the OPEN alternative to F#)
http://cocan.org/getting_started_with_ocaml_on_red_hat_and_fedora