Fedora 18 Update: ocaml-menhir-20130116-1.fc18

updates at fedoraproject.org updates at fedoraproject.org
Fri Feb 1 17:42:37 UTC 2013

Fedora Update Notification
2013-01-23 00:31:04

Name        : ocaml-menhir
Product     : Fedora 18
Version     : 20130116
Release     : 1.fc18
URL         : http://gallium.inria.fr/~fpottier/menhir/
Summary     : LR(1) parser generator for OCaml
Description :
Menhir is a LR(1) parser generator for the Objective Caml programming
language.  That is, Menhir compiles LR(1) grammar specifications down to
OCaml code.  Menhir was designed and implemented by François Pottier and
Yann Régis-Gianas.

Update Information:

Upstream notes on the changes in this release:
- "menhir --depend" was broken since someone added new whitespace in the output of ocamldep. Fixed.
- Fixed a compilation problem that would arise when a file produced by Menhir on a 64-bit platform was compiled by ocaml on a 32-bit platform.
- Performance improvements in the computation of various information about the automaton (module [Invariant]). The improvements will be noticeable only for very large automata.
- The option --log-grammar 3 (and above) now causes the FOLLOW sets for *terminal* symbols to be computed and displayed.
- Added the flag --canonical, which causes Menhir to produce a canonical LR(1) automaton in the style of Knuth. This means that no merging of states takes place during the construction of the automaton, and that no default reductions are allowed.

* Mon Jan 21 2013 Jerry James <loganjerry at gmail.com> - 20130116-1
- New upstream version
* Wed Oct 17 2012 Jerry James <loganjerry at gmail.com> - 20120123-5
- Rebuild for OCaml 4.00.1.

This update can be installed with the "yum" update program.  Use 
su -c 'yum update ocaml-menhir' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at

More information about the package-announce mailing list