Description

Published: 19 Nov 2015

Dependencies (1)

  1. ocaml

Reverse Dependencies

    None

Conflicts

    None
Simplified OPAM shell for Coq

Install

Authors

Maintainers

Sources

1.tar.gz
md5=ba539bda77cf0081657716fa49767a68