Skip to content

Releases: coq-community/bignums

V8.15.0

08 Dec 13:23
@SkySkimmer SkySkimmer
V8.15.0
This tag was signed with the committer’s verified signature.
SkySkimmer Gaëtan Gilbert
GPG key ID: 8585BE5E6C57C806
Learn about vigilant mode.
da002e1
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.
Compare
Choose a tag to compare
V8.15.0

Tested with Coq 8.15+rc1

Assets 2
Loading

Compatibility release for Coq 8.14

17 Sep 13:38
@Zimmi48 Zimmi48
V8.14.0
118fc5b
This commit was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Learn about vigilant mode.
Compare
Choose a tag to compare
Compatibility release for Coq 8.14

Was tested to be compatible with Coq 8.14+rc1.

Assets 2
Loading

Release for Coq 8.13.0

13 Dec 21:46
@erikmd erikmd
V8.13.0
This tag was signed with the committer’s verified signature. The key has expired.
erikmd Erik Martin-Dorel
GPG key ID: 9ED87DA01733593F
Expired
Learn about vigilant mode.
048faca
Compare
Choose a tag to compare
Release for Coq 8.13.0

V8.13.0: Compatibility release for Coq 8.13.0

Assets 2
Loading

Pre-release for Coq 8.13-alpha

02 Dec 01:26
@erikmd erikmd
V8.13+beta1
This tag was signed with the committer’s verified signature. The key has expired.
erikmd Erik Martin-Dorel
GPG key ID: 9ED87DA01733593F
Expired
Learn about vigilant mode.
baf2364
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.
Compare
Choose a tag to compare
Pre-release for Coq 8.13-alpha Pre-release
Pre-release

Compatibility release for Coq 8.13

Assets 2
Loading

Release for Coq 8.12.0

24 Jul 18:45
@Zimmi48 Zimmi48
V8.12.0
0bab136
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.
Compare
Choose a tag to compare
Release for Coq 8.12.0

Compatibility release with Coq 8.12.0

Assets 2
Loading

Release for Coq 8.11.0

31 Jan 12:32
@erikmd erikmd
V8.11.0
This tag was signed with the committer’s verified signature. The key has expired.
erikmd Erik Martin-Dorel
GPG key ID: 9ED87DA01733593F
Expired
Learn about vigilant mode.
f28a5fc
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.
Compare
Choose a tag to compare
Release for Coq 8.11.0

V8.11.0

Assets 2
Loading

Release for Coq 8.10.0

14 Oct 18:01
@erikmd erikmd
V8.10.0
This tag was signed with the committer’s verified signature. The key has expired.
erikmd Erik Martin-Dorel
GPG key ID: 9ED87DA01733593F
Expired
Learn about vigilant mode.
33ae5d5
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.
Compare
Choose a tag to compare
Release for Coq 8.10.0

V8.10.0

Assets 2
Loading

Release for Coq 8.10+β1

15 May 09:06
@vbgl vbgl
V8.10+beta1
0cd435d
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.
Compare
Choose a tag to compare
Release for Coq 8.10+β1 Pre-release
Pre-release 
Merge pull request #15 from vbgl/primitive-integers

Updating to primitive integers
Assets 2
Loading

Release for Coq 8.9.0

06 Feb 11:42
@silene silene
V8.9.0
2470a12
Compare
Choose a tag to compare
Release for Coq 8.9.0 
V8.9.0

Update coq.cachix.org public key.
Assets 2
Loading

Release for Coq 8.8.0

17 Apr 14:14
@maximedenes maximedenes
V8.8.0
This tag was signed with the committer’s verified signature. The key has expired.
maximedenes Maxime Dénès
GPG key ID: FD3733DF9705E69E
Expired
Learn about vigilant mode.
1cafe43
Compare
Choose a tag to compare
Release for Coq 8.8.0 
V8.8.0

Version 8.8.0
Assets 2
Loading