package coq-native

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Error log

Package contains no libraries

coq-native 1

Error log

The package failed to build. The error log from opam follows.

[ERROR] Package conflict!
  * Incompatible packages:
    - (invariant) -> ocaml-base-compiler = 5.1.1 -> base-nnp
    - coq-native
    You can temporarily relax the switch invariant with `--update-invariant'

No solution found, exiting