-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2018-cb34e7f985 2018-10-31 16:40:00.045150 --------------------------------------------------------------------------------
Name : ocaml-menhir Product : Fedora 29 Version : 20181006 Release : 1.fc29 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:
Changes in menhir 20181006: * Standard library: add `rev`, `flatten`, `append`. Add a link from the manual to `standard.mly` in the repository. * Update the manual to explain how to use `dune` and `menhir` together. * Install `.cmxs` files for menhirLib and menhirSdk. * Remove all references to `Pervasives` in the generated OCaml code. These references were infrequent anyway, and `Pervasives` is about to be deprecated in OCaml 4.08, it seems. * In `--interpret` mode, print `Ready!` once ready to accept input. * At verbosity level `-lg 2`, for each nonterminal symbol `N`, display a sentence (composed of terminal symbols) of minimal length generated by `N`. * When writing a `.cmly` file, open it in binary mode. This should eliminate the failure that was observed under Windows: `output_value: not a binary channel`. (Reported by Bryan Phelps. A fix was present in the `mingw` patches for Menhir.) * Change the logic used in the root `Makefile` to deal with Unix and Windows in a uniform way. (Also inspired by the `mingw` patches for Menhir.) * Coq back-end: add a few newlines in the generated file for readability. (Suggested by Bernhard Schommer.) * Remove the trailing space at the end of every sentence in auto-generated `.messages` files. (Suggested by Xavier Leroy.) -------------------------------------------------------------------------------- ChangeLog:
* Mon Oct 22 2018 Jerry James loganjerry@gmail.com - 20181006-1 - New upstream version - Ship libraries in the main package --------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2018-cb34e7f985' at the command line. For more information, refer to the dnf documentation available at http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
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 https://fedoraproject.org/keys --------------------------------------------------------------------------------
package-announce@lists.fedoraproject.org