--------------------------------------------------------------------------------
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(a)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
--------------------------------------------------------------------------------