Apocrypha

gappalib-coq

Allows the certificates Gappa generates to be imported by the Coq

Available in

OverlayNewestEbuildsLast activity
gentoo gitweb ↗ 1.5.3 2 16 h details ›

Versions & arches

VersionOverlay amd64x86 Committed
1.5.3 gentoo amd64 testing x86 testing view · download · history ↗
1.5.2-r1 gentoo amd64 testing x86 testing view · download · history ↗

Use flags of 1.5.3

  • 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 1.5.3

show 4 lines