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

Releases: rocq-prover/rocq

Coq 8.4pl6

18 Aug 13:04
@Zimmi48 Zimmi48
V8.4pl6
b705cf0
Compare
Choose a tag to compare
Coq 8.4pl6

Version 8.4pl6 of Coq fixes several bugs of version 8.4pl5. More information to be found in the CHANGES file.

Loading

Coq 8.4pl5

25 Oct 09:53
@pirbo pirbo
V8.4pl5
0ec5646
Compare
Choose a tag to compare
Coq 8.4pl5

Version 8.4pl5 of Coq fixes several bugs of version 8.4pl4 including the compatibility with OCaml 4.02. More information to be found in the CHANGES file.

Loading
0