libmenhir-ocaml-dev - Menhir library for OCaml

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package filename libmenhir-ocaml-dev_20190626-6_i386.deb
Package name libmenhir-ocaml-dev
Package version 20190626
Package release 6
Package architecture i386
Package type deb
Category devel::code-generator devel::lang:ocaml devel::library implemented-in::ocaml ocaml role::devel-lib
License -
Maintainer Debian OCaml Maintainers <>
Download size 206.84 KB
Installed size 904.00 KB


Package Version Architecture Repository
libmenhir-ocaml-dev_20190626-6_amd64.deb 20190626 amd64 Debian Main
libmenhir-ocaml-dev - - -


Name Value
ocaml-nox-4.05.0 -


Name Value
libmenhir-ocaml-dev-mqx95 -


Type URL
Binary Package libmenhir-ocaml-dev_20190626-6_i386.deb
Source Package menhir

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libmenhir-ocaml-dev deb package:
    # sudo apt-get install libmenhir-ocaml-dev




2019-08-27 - St├ęphane Glondu <>
menhir (20190626-6) unstable; urgency=medium
* Team upload
* libmenhir-coq: add dependency to Coq ABI (Closes: #935873)
2019-08-21 - Ralf Treinen <>
menhir (20190626-5) unstable; urgency=medium
* Fix dependencies of the "library" test.
2019-08-21 - Ralf Treinen <>
menhir (20190626-4) unstable; urgency=medium
[ St├ęphane Glondu ]
* Remove Samuel from Uploaders
[ Ralf Treinen ]
* Package tests:
- add test for compilation with the menhir library
- use directly the files from upstreams demos/ directory
- make tests more verbose
2019-07-25 - Ralf Treinen <>
menhir (20190626-3) unstable; urgency=medium
* Standards-Version 4.4.0 (no change)
* Test coq: add dependency coq
* Drop version contraint on build-dependency dh-ocaml
2019-07-24 - Ralf Treinen <>
menhir (20190626-2) unstable; urgency=medium
* Upload to unstable.
2019-07-07 - Ralf Treinen <>
menhir (20190626-1) experimental; urgency=medium
* New upstream release
* Standards-Version 4.3.0 (no change)
* New binary package: libmenhir-coq
* New build-dependencies:
- debhelper-compat(=12); drop file debian/compat
- coq (needed for building libmenhir-coq)
* Package libmenhir-ocaml-dev: Suggests ocaml-findlib
* Override dh_dwz to use --no-dwz-multifile
* As-installed tests:
- Add test for libmenhir-coq (thanks a lot to Pierre Letouzey)
- Rename test "calc" to "standalone", tighten test dependencies
2018-11-14 - Ralf Treinen <>
menhir (20181113-1) unstable; urgency=medium
* new upstream version
* d/watch: point to inria gitlab
* d/ also install png pictures of the manual
* d/rules: remove .gitignore files in examples
* Standards-Version 4.2.1 (no change)
2018-07-19 - Ralf Treinen <>
menhir (20180530-2) unstable; urgency=medium
* menhir-doc: Breaks/Replaces menhir (<< 20170712-1) since examples
had been moved from menhir to menhir-doc (closes: #903455)
* Standards-version 4.1.5 (no change).
2018-06-18 - Ralf Treinen <>
menhir (20180530-1) unstable; urgency=medium
* New upstream version.
* Install manual.html into menhir-doc package.
* Add entry for html manual in doc-base file
* Update Vcs-* fields to salsa.
* Standards-Version 4.1.4 (no change).
* Debhelper compat level 11.
- menhir-doc.doc-base: manual now installed in /usr/share/doc/menhr
2018-01-02 - Ralf Treinen <>
menhir (20171222-1) unstable; urgency=medium
* New upstream version.
* Standards-version 4.1.3 (no change)

See Also

Package Description
libmenlo-legacy-perl_1.9022-1_all.deb legacy internal and client support for Menlo
libmenlo-perl_1.9019-1_all.deb CPAN client backend
libmenu-cache-bin_1.1.0-1+b1_i386.deb LXDE implementation of the freedesktop Menu's cache (libexec)
libmenu-cache-dev_1.1.0-1+b1_i386.deb LXDE implementation of the freedesktop Menu's cache (devel)
libmenu-cache-doc_1.1.0-1_all.deb LXDE implementation of the freedesktop Menu's cache (docs)
libmenu-cache3_1.1.0-1+b1_i386.deb LXDE implementation of the freedesktop Menu's cache
libmercator-0.3-4_0.3.3-5_i386.deb WorldForge terrain library
libmercator-0.3-dev_0.3.3-5_i386.deb WorldForge terrain library - development files
libmeryl-dev_0~20150903+r2013-6_i386.deb in- and out-of-core kmer counting and utilities (development lib)
libmeschach-dev_1.2b-14_i386.deb development files for meschach
libmeschach1.2_1.2b-14_i386.deb library for performing operations on matrices and vectors
libmessage-filters-dev_1.14.3+ds1-5+b2_i386.deb Development files for Robot OS message-filters
libmessage-filters1d_1.14.3+ds1-5+b2_i386.deb Library for Robot OS message-filters
libmessage-passing-amqp-perl_0.007-1_all.deb input and output message-pass messages via AMQP
libmessage-passing-filter-regexp-perl_0.05-2_all.deb regexp capture filter For Message::Passing