Apocrypha

coq-stdlib

Stdlib for the Coq/Rocq Prover, used to be part of Coq

Available in

OverlayNewestEbuildsLast activity
gentoo gitweb ↗ 9.1.0 2 14 h details ›

Versions & arches

VersionOverlay amd64arm64 Committed
9.1.0 gentoo amd64 testing arm64 testing view · download · history ↗
9.0.0-r1 gentoo amd64 stable arm64 testing view · download · history ↗

Use flags of 9.1.0

  • +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 9.1.0

show 3 lines