Allows the certificates Gappa generates to be imported by the Coq
Version | RDEPEND | DEPEND | BDEPEND | IDEPEND | PDEPEND |
---|---|---|---|---|---|
dev-lang/ocaml | |||||
dev-ml/findlib | |||||
sci-mathematics/coq | |||||
sci-mathematics/flocq | |||||
sci-mathematics/gappa |
Version | RDEPEND | DEPEND | BDEPEND | IDEPEND | PDEPEND |
---|---|---|---|---|---|
dev-lang/ocaml | |||||
dev-ml/findlib | |||||
sci-mathematics/coq | |||||
sci-mathematics/flocq | |||||
sci-mathematics/gappa |