Re: Conflicts in Rawhide i386 (part 2)

["Richard W.M. Jones" <rjones redhat com>]

On Wed, Aug 06, 2008 at 06:48:07AM -0400, Alan Dunn wrote:
> The new name is coq-parser.

OK, done.

Rich.

-- 
Richard Jones, Emerging Technologies, Red Hat  http://et.redhat.com/~rjones
Read my OCaml programming blog: http://camltastic.blogspot.com/
Fedora now supports 60 OCaml packages (the OPEN alternative to F#)
http://cocan.org/getting_started_with_ocaml_on_red_hat_and_fedora