coq-native

Package flag enabling coq's native-compiler flag

opam install coq-native.1
homepage
https://coq.inria.fr/
license
bugs tracker
https://github.com/coq/coq/issues
dependencies
source
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-native/coq-native.1