Skip to content

1.1.1
Compare
Choose a tag to compare
@anton-trunov anton-trunov released this 06 Jan 20:03
· 90 commits to master since this release
v1.1.1
284e18c
  • Add support for Mathcomp 1.10 and drop support for the previous version
  • Extend the range of supported Coq versions: 8.7 .. 8.11
Assets 2
Loading