Apocrypha

coq-menhirlib

A support library for verified Coq parsers produced by Menhir

Available in

OverlayNewestEbuildsLast activity
gentoo gitweb ↗ 20240715 1 15 h details ›

Versions & arches

VersionOverlay amd64x86 Committed
20240715 gentoo amd64 testing x86 testing view · download · history ↗

Use flags of 20240715

  • +ocamlopt Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

Runtime dependencies of 20240715

show 4 lines