Skip to content

finmap release 1.4.1
Compare
Choose a tag to compare
@CohenCyril CohenCyril released this 06 Apr 16:06
· 70 commits to master since this release
1.4.1
dbb98e9
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Gained compatibility with Coq 8.11.1
Lost compatibility with mathcomp 1.8.0 and anticipating compatibility with mathcomp 1.11.0

i.e. compatible with 8.7 <= Coq < 8.12 and 1.9.0 <= mathcomp < 1.12.0

Assets 2
Loading