New Upstream Release - menhir

Merged new upstream version: 20190924 (was: 20190626).

Resulting package

Changes filename: menhir_20190924-1~jan+nur1_amd64.changes

Built on 2019-10-15T21:20 (took 6m9s)

The resulting binary packages can be installed (if you have the apt repository enabled) by running one of:

apt install -t fresh-releases libmenhir-coq
apt install -t fresh-releases libmenhir-ocaml-dev
apt install -t fresh-releases libmenhir-ocaml-dev-dbgsym
apt install -t fresh-releases menhir
apt install -t fresh-releases menhir-dbgsym
apt install -t fresh-releases menhir-doc

More details

Full run details

A new upstream version is available: 20200211