all options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

Source Package: menhir (20200123-1)

Links for menhir

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libmenhir-coq
Support library for verified Coq parsers produced by Menhir
libmenhir-ocaml-dev
Menhir library for OCaml
menhir
Parser generator for OCaml
menhir-doc
Documentation of the Menhir parser generator for OCaml

Other Packages Related to menhir

  • build-depends
  • build-depends-indep

Download menhir

FileSize (in kB)MD5 checksum
menhir_20200123-1.dsc 2.2 kB df2b56a9e6ded3cf0730c5b61db284a6
menhir_20200123.orig.tar.gz 2,399.4 kB cceccb804b963869730633136feaca6d
menhir_20200123-1.debian.tar.xz 21.3 kB 4da69f76459d5c9221ab9951fb333e25
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/menhir.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/menhir