package coq-opam-website
Generation of a Coq website for OPAM: http://coq.io/opam/
Install
Dune Dependency
Authors
Maintainers
Sources
1.4.0.tar.gz
md5=fffbf90822efc72938c0d1d1f6e92100
Description
Published: 26 Nov 2015
Dependencies (6)
-
coq-list-string
>= "2.1.0" -
coq-io-system
>= "2.3.0" -
coq-io-exception
>= "1.0.0" -
coq-io
>= "3.1.0" -
coq
>= "8.4pl4" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page