UbuntuUpdates.org

Package "menhir-doc"

Name: menhir-doc

Description:

Documentation of the Menhir parser generator for OCaml
Latest version: 20200123-2
Release: focal (20.04)
Level: base
Repository: universe
Head package: menhir
Homepage: http://gallium.inria.fr/~fpottier/menhir/

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "menhir-doc"

All arch deb package
APT INSTALL

Other versions of "menhir-doc" in Focal

No other version of this package is available in the Focal release.

Changelog

Version: 20200123-2 2020-04-28 21:55:07 UTC

  menhir (20200123-2) unstable; urgency=medium

  * Removal of coq-menhirlib from this source package:
    - add coq-menhirlib to the gbp import filter
    - clean debian/rules
    - remove coq-menhirlib from debian/control
    - drop build-dependency on coq
    - drop debian/libmenhir-coq.install
    - remove stanzas relating to coq-menhirlib from debian/copyright
    - drop as-installed test coq, and its support files
    - add an explanation in debian/README.source.
    
 -- Ralf Treinen <email address hidden> Thu, 27 Feb 2020 22:13:34 +0100


About   -   Send Feedback to @ubuntu_updates