Description

Published: 19 Nov 2015

Dependencies (1)

  1. ocaml

Reverse Dependencies

    None

Conflicts

    None
Simplified OPAM shell for Coq

Install

Documentation coq.inria.fr Edit opam file

Authors

  1. C
    Coq team <coqdev@inria.fr>

Maintainers

  1. C
    coqdev@inria.fr

Sources

1.tar.gz
md5=ba539bda77cf0081657716fa49767a68