[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Coq 8.19.2
Compare
Choose a tag to compare
@SkySkimmer SkySkimmer released this 10 Jun 11:30
· 2885 commits to master since this release
V8.19.2
This tag was signed with the committer’s verified signature.
SkySkimmer Gaëtan Gilbert
GPG key ID: 8585BE5E6C57C806
Learn about vigilant mode.
d739f8d

See the changelog (or changelog section in the attached manual) for an overview of the new bug fixes and changes.

Assets 4
Loading