Conflicts in Rawhide i386 (part 2)

Richard W.M. Jones rjones at redhat.com
Wed Aug 6 11:08:25 UTC 2008


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




More information about the fedora-devel-list mailing list