Release V8.11+alpha · coq/coq · GitHub

V8.11+alpha
1c8fd0f
Verified

This tag was signed with the committer’s verified signature. The key has expired.

ejgallego Emilio Jesús Gallego Arias

GPG key ID: D3DA7A344681F041
Expired
Learn about vigilant mode
Compare

Choose a tag to compare

Loading

View all tags

V8.11+alpha

V8.11+alpha
1c8fd0f
Compare

Choose a tag to compare

Loading

View all tags
Verified

This tag was signed with the committer’s verified signature. The key has expired.

ejgallego Emilio Jesús Gallego Arias

GPG key ID: D3DA7A344681F041
Expired
Learn about vigilant mode

ejgallego tagged this 13 May 17:04

First commit after v8.10 branching point.

Assets 2

Source code (zip)

2019-05-13T17:04:23Z
Source code (tar.gz)

2019-05-13T17:04:23Z