ocaml-coq-menhirlib

• If not done already, install MacPorts.
• To install ocaml-coq-menhirlib, run the following command in macOS terminal (Applications->Utilities->Terminal)
  
  sudo port install ocaml-coq-menhirlib Copy
• To see what files were installed by ocaml-coq-menhirlib, run:
  
  port contents ocaml-coq-menhirlib Copy
• To later upgrade ocaml-coq-menhirlib, run:
  
  sudo port selfupdate && sudo port upgrade ocaml-coq-menhirlib Copy

The MacPorts Project uses a system called Trac to file tickets to report bugs and enhancement requests. Though anyone may search Trac for tickets, you must have a GitHub account in order to login to Trac to create tickets.