Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Search in all suites
Limit to a architecture: [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]
Search in all architectures
Some results have not been displayed due to the search parameters.
You have searched for packages that names contain menhir in suite(s) bookworm, all sections, and architecture(s) arm64. Found 4 matching packages.
Exact hits
Package menhir
- bookworm (stable) (devel):
Parser generator for OCaml
20220210+ds-2: arm64
Other hits
Package libcoq-menhirlib
- bookworm (stable) (ocaml):
support library for Coq-verified Menhir parsers
20220210+ds-4+b1: arm64
Package libmenhir-ocaml-dev
- bookworm (stable) (ocaml):
Menhir library for OCaml
20220210+ds-2: arm64
Package menhir-doc
- bookworm (stable) (doc):
Documentation of the Menhir parser generator for OCaml
20220210+ds-2: all