menhir 20200123-2 source package in Ubuntu
Changelog
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
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 | Published | Component | Section | |
|---|---|---|---|---|
| Focal | release | universe | devel |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| menhir_20200123-2.dsc | 2.2 KiB | fb88968676cfa185b313566fac7961a93aa5a9714abe3a20e46fa31f2ef032fd |
| menhir_20200123.orig.tar.gz | 2.3 MiB | c88f1b2c9d14d0a0c1328a65dfab78038646f5fba5d855101503cc1270776922 |
| menhir_20200123-2.debian.tar.xz | 12.6 KiB | 9fbf49d2c4f7c2ca23573e9749b4eddfc3542e51408fccc99a0960766e38353a |
Available diffs
- diff from 20200123-1 to 20200123-2 (11.5 KiB)
No changes file available.
Binary packages built by this source
- libmenhir-ocaml-dev: No summary available for libmenhir-ocaml-dev in ubuntu groovy.
No description available for libmenhir-ocaml-dev in ubuntu groovy.
- 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: No summary available for menhir-doc in ubuntu groovy.
No description available for menhir-doc in ubuntu groovy.
