packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain menhir in all suites, all sections, and all architectures. Found 4 matching packages.

Exact hits

Package menhir

• jammy (22.04LTS) (devel): Parser generator for OCaml [universe]
  20210929-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (devel): Parser generator for OCaml [universe]
  20231231+ds-1: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (devel): Parser generator for OCaml [universe]
  20240715+ds-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (devel): Parser generator for OCaml [universe]
  20250912+ds-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (devel): Parser generator for OCaml [universe]
  20250912+ds-1build2: amd64 arm64 armhf ppc64el riscv64 s390x

Other hits

Package libcoq-menhirlib

• noble (24.04LTS) (ocaml): support library for Coq-verified Menhir parsers [universe]
  20231231+ds-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (ocaml): support library for Coq-verified Menhir parsers [universe]
  20240715+ds-1build5: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): support library for Coq-verified Menhir parsers [universe]
  20240715+ds-1build8: amd64 arm64 ppc64el riscv64 s390x
• stonking (ocaml): support library for Coq-verified Menhir parsers [universe]
  20240715+ds-1build8: amd64 arm64 ppc64el riscv64 s390x

Package libmenhir-ocaml-dev

• jammy (22.04LTS) (libdevel): Menhir library for OCaml [universe]
  20210929-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (libdevel): Menhir library for OCaml [universe]
  20231231+ds-1: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (libdevel): Menhir library for OCaml [universe]
  20240715+ds-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (libdevel): Menhir library for OCaml [universe]
  20250912+ds-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (libdevel): Menhir library for OCaml [universe]
  20250912+ds-1build2: amd64 arm64 armhf ppc64el riscv64 s390x

Package menhir-doc

• jammy (22.04LTS) (doc): Documentation of the Menhir parser generator for OCaml [universe]
  20210929-1build1: all
• noble (24.04LTS) (doc): Documentation of the Menhir parser generator for OCaml [universe]
  20231231+ds-1: all
• questing (25.10) (doc): Documentation of the Menhir parser generator for OCaml [universe]
  20240715+ds-1build2: all
• resolute (26.04LTS) (doc): Documentation of the Menhir parser generator for OCaml [universe]
  20250912+ds-1build2: all
• stonking (doc): Documentation of the Menhir parser generator for OCaml [universe]
  20250912+ds-1build2: all