UbuntuUpdates.org

Package "menhir"

Name: menhir

Description:

Parser generator for OCaml
Latest version: 20200123-2
Release: focal (20.04)
Level: base
Repository: universe
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"

32-bit deb package
64-bit deb package
APT INSTALL

Other versions of "menhir" in Focal

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

Packages in group

Deleted packages are displayed in grey.


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