menhir 20200123-1 source package in Ubuntu

Changelog

menhir (20200123-1) unstable; urgency=medium

  * New upstream version
  * Drop patch demos-enable-bytecode as the collection of demos is no longer
    part of upstream
  * Build-dependencies:
    - tighten version of ocaml-nox
    - drop ocamlbuild and ocaml-findlib
    - add ocaml-dune
  - debian/rules:
    - switch to the new build system using dune
    - drop override for dh_auto_test which is no longer needed
    - drop override for dh_dwz which is no longer needed
  - Installation:
    - install menhir.1 through debian/menhir.manpages
    - drop installation of empty directory usr/menhir/share
    - upstream installs documentation in /usr/doc
    - no more examples to install
    - create file d/not-installed, listing redundant CHANGES.md, LICENCE.md,
      README.md files
  * as-installed tests: since upstream does not distribute the demos any
    longer we use our own copy of relevant testcases in debian/tests.
  * Standards-version 4.5.0 (no change)

 -- Ralf Treinen <email address hidden>  Sat, 08 Feb 2020 10:50:13 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
menhir_20200123-1.dsc 2.2 KiB da8012386db5ac35ee1f813338f20a7ad98cce96cd019e354622169a3f37ea06
menhir_20200123.orig.tar.gz 2.3 MiB c88f1b2c9d14d0a0c1328a65dfab78038646f5fba5d855101503cc1270776922
menhir_20200123-1.debian.tar.xz 21.3 KiB 67eed63502c06a4dd14e9fff3d9bdacd86d06f033cde9cdd1c2c093e85a24246

No changes file available.

Binary packages built by this source

libmenhir-coq: No summary available for libmenhir-coq in ubuntu focal.

No description available for libmenhir-coq in ubuntu focal.

libmenhir-ocaml-dev: Menhir library for OCaml

 Menhir is a LR(1) parser generator for the OCaml programming language.
 It is mostly compatible with the ocamlyacc parser generator provided with
 OCaml, and has a number of enhancements over ocamlyacc.
 .
 This package contains the Menhir library for the OCaml programming language.
 It gives access to, among others, the following modules:
  * InfiniteArray: implements infinite arrays, that is, arrays
    that grow transparently upon demand.
  * RowDisplacement: compresses a two-dimensional table, where some
    values are considered insignificant, via row displacement.
  * Engine: LR parsing engine.

libmenhir-ocaml-dev-dbgsym: debug symbols for libmenhir-ocaml-dev
menhir: Parser generator for OCaml

 Menhir is a LR(1) parser generator for the OCaml programming language.
 It is mostly compatible with the ocamlyacc parser generator provided with
 the OCaml system, and has the following enhancements over ocamlyacc:
  * it accepts LR(1) grammars,
  * it offers parameterized nonterminal symbols as well as a library of
    standard definitions,
  * it explains conflicts in terms of the grammar,
  * it allows grammar specifications to be split over multiple files and
    parametrized by OCaml modules,
  * it produces reentrant parsers.

menhir-dbgsym: debug symbols for menhir
menhir-doc: Documentation of the Menhir parser generator for OCaml

 Menhir is a LR(1) parser generator for the OCaml programming language.
 It is mostly compatible with the ocamlyacc parser generator provided with
 OCaml, and has a number of enhancements over ocamlyacc.
 .
 This package contains the Menhir manual as a pdf file, and the collection
 of Menhir examples.