How to Install and Uninstall menhir Package on Kali Linux

Last updated: November 26,2024

1. Install "menhir" package

This tutorial shows how to install menhir on Kali Linux

$ sudo apt update $ sudo apt install menhir

2. Uninstall "menhir" package

This is a short guide on how to uninstall menhir on Kali Linux:

$ sudo apt remove menhir $ sudo apt autoclean && sudo apt autoremove

3. Information about the menhir package on Kali Linux

Package: menhir
Version: 20231231+ds-1
Installed-Size: 5106
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: libc6 (>= 2.35)
Suggests: menhir-doc
Size: 1248020
SHA256: 54f2a0646eee83c02bb9855bdba317c5d2151d69f9527496da1fb56f92f6a828
SHA1: 5b1f253f4c0d0f2eeeea4900d3834faadf42da90
MD5sum: 7d67c851f27d78dd1e8e15b80ab7030d
Description: Parser generator for OCaml
Menhir is a LR(1) parser generator for the OCaml programming language.
It is mostly compatible with the ocamlyacc parser generator provided with
the OCaml system, and has the following enhancements over ocamlyacc:
* it accepts LR(1) grammars,
* it offers parameterized nonterminal symbols as well as a library of
standard definitions,
* it explains conflicts in terms of the grammar,
* it allows grammar specifications to be split over multiple files and
parametrized by OCaml modules,
* it produces reentrant parsers.
Description-md5:
Homepage: https://gallium.inria.fr/~fpottier/menhir/
Tag: devel::code-generator, devel::lang:ocaml, implemented-in::ocaml,
interface::commandline, role::program, scope::utility
Section: devel
Priority: optional
Filename: pool/main/m/menhir/menhir_20231231+ds-1_amd64.deb