8000 Tags · rocq-community/gaia · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: rocq-community/gaia

Tags

v2.3

Toggle v2.3's commit message

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 #26 from rocq-community/mc1261

Adapt to math-comp/math-comp#1261

v2.2

Toggle v2.2's commit message

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 #19 from coq-community/dune-0.6

bump to Dune 3.5 or later and Dune-Coq 0.6

v2.0

Toggle v2.0's commit message

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 #15 from coq-community/fix-ci-meta

fix meta.yml and boilerplate for MathComp 2.0, fix deprecations

v1.17

Toggle v1.17's commit message

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 #14 from coq-community/fix-pzero

fix problems with =Pzero after Coq lexing changes

v1.15

Toggle v1.15's commit message

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 #12 from coq-community/mathcomp-1.15

Update CI with mathcomp 1.15

v1.14

Toggle v1.14's commit message

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 #10 from coq-community/mc-1.14

allow MathComp 1.14.0 in opam and test in CI

v1.13

Toggle v1.13's commit message

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 CohenCyril/mathcomp-1.13

update opam

v1.12

Toggle v1.12's commit message

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 #3 from coq-community/prepare-1.12-release

Prepare for release compatible with Coq 8.13 and 8.14, MathComp 1.12

v1.11

Toggle v1.11's commit message 
adjust metadata after move to coq-community

v1.9

Toggle v1.9's commit message 
port to work on Coq 8.10 with MathComp 1.9 or 1.10
0