8000 Release 8.11.2 by ppedrot · Pull Request #12328 · rocq-prover/rocq · GitHub 8000
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Release 8.11.2#12328

Merged
ppedrot merged 4 commits intorocq-prover:v8.11from
ppedrot:release-8.11.2
May 14, 2020
Merged

Release 8.11.2#12328
ppedrot merged 4 commits intorocq-prover:v8.11from
ppedrot:release-8.11.2

Commits

Commits on May 14, 2020
0