UbuntuUpdates.org

Package "libmenhir-ocaml-dev"

Name: libmenhir-ocaml-dev

Description:

Menhir library for OCaml

Latest version: 20200123-2
Release: focal (20.04)
Level: base
Repository: universe
Homepage: http://gallium.inria.fr/~fpottier/menhir/

Links


Download "libmenhir-ocaml-dev"


Other versions of "libmenhir-ocaml-dev" 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