Ubuntu
menhir package

menhir 20220210+ds1-1 source package in Ubuntu

Changelog

menhir (20220210+ds1-1) unstable; urgency=medium

  * Team upload
  * Properly repack upstream sources, without coq-menhirlib
  * Use ocaml_dune DH buildsystem (Closes: #1042097)
  * Bump Standards-Version to 4.6.2

 -- Stéphane Glondu <email address hidden>  Wed, 26 Jul 2023 21:36:14 +0200

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_20220210+ds1-1.dsc 2.0 KiB 7f1c8aba0ef60ea3d2d55ab208588c2b195ccf006440bf8f531cd7341dac6199
menhir_20220210+ds1.orig.tar.xz 492.1 KiB 48e69ea28608a5c6f6e8865e14f4282c7a54145f9159d5f523c755a1a002c6a5
menhir_20220210+ds1-1.debian.tar.xz 13.2 KiB 7852ea7c6c0569755f8ccaf3c49082a922b29e4df620f07aa315e8e3cc17c9b9

Available diffs

No changes file available.

Binary packages built by this source

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.