Release a version compatible with Coq 8.10.

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

Release a version compatible with Coq 8.10. #74

Closed Zimmi48 closed 5 years ago

Zimmi48 commented 5 years ago

Currently the master branch of math-classes is compatible with Coq 8.6-8.10 + Coq master but the latest release is only compatible with Coq 8.6-8.9. It would be good to tag a new version (and publish it in opam) so that we can start testing corn with Coq 8.10.

Probably best to merge #73 first though.

spitters commented 5 years ago

Agreed. Could you do it? I'm currently on holiday.

Zimmi48 commented 5 years ago

Sure.

Zimmi48 commented 5 years ago

See the new tag, and coq/opam-coq-archive#832.