Skip to content

Tags: math-comp/bigenough

Tags

1.0.2

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #12 from proux01/mc_1246

Adapt to math-comp/math-comp#1246

1.0.1

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #6 from math-comp/Rm-opam

Delete opam

1.0.0

intial release of bigenough