How to Install and Uninstall menhir-doc Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: May 02,2024

1. Install "menhir-doc" package

Please follow the step by step instructions below to install menhir-doc on Ubuntu 22.04 LTS (Jammy Jellyfish)

$ sudo apt update $ sudo apt install menhir-doc

2. Uninstall "menhir-doc" package

This guide let you learn how to uninstall menhir-doc on Ubuntu 22.04 LTS (Jammy Jellyfish):

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

3. Information about the menhir-doc package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: menhir-doc
Architecture: all
Version: 20210929-1build1
Multi-Arch: foreign
Priority: optional
Section: universe/doc
Source: menhir
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 874
Breaks: menhir (<< 20170712-1)
Replaces: menhir (<< 20170712-1)
Filename: pool/universe/m/menhir/menhir-doc_20210929-1build1_all.deb
Size: 554984
MD5sum: e5126e75cf7e94b70c75499a4234b8fd
SHA1: a6105e7838d903eb43df914e6b425c2cd8d7510e
SHA256: 9987905d8e3de75cbe5f237e8a80e11a66fd2b291084a3df4f00b6a7ba72159c
SHA512: 7751951fdcd9df17a2ee0e829a105598959746ce0c411652ff43e9f8603e142ff0438189ab14d5bc2d18b62acae1810ccb4dd0d835a9b12632460db38b7d76c7
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Description: Documentation of the Menhir parser generator for OCaml
Description-md5: 91dbeecec9865908a9e2366645d8e7b8