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
161 stars 43 forks source link

update metadata and templates for 8.12 support #90

Closed palmskog closed 4 years ago

palmskog commented 4 years ago

This updates the in-repo opam package and CI for 8.12.

spitters commented 4 years ago

Thanks!