search

coq-community / math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
https://math-classes.github.io
MIT License
162 stars 43 forks source link

Coq-8.11 support #83

Closed vzaliva closed 4 years ago

vzaliva commented 4 years ago

The current OPAM package does not support Coq-8.11. Please consider supporting 8.11 From OPAM package:

depends:      "ocaml" "coq" {(>= "8.6" & < "8.11~")} "coq-bignums"
Zimmi48 commented 4 years ago

Done. New release coq-math-classes 8.11.0 supports Coq 8.6-8.11.

vzaliva commented 4 years ago

thanks!