package coq-shell

  1. Overview
  2. Docs
Simplified OPAM shell for Coq

Install

Dune Dependency

Authors

Maintainers

Sources

1.tar.gz
sha256=269ff5b2e2bc95ec3a3ee9a108f23fcf1754329ad2d29dc844ec337eabe44a6d
md5=ba539bda77cf0081657716fa49767a68

Description

Published: 19 Nov 2015

Dependencies (1)

  1. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.