Skip to content
V8.14+rc1 protected
Guillaume Melquiond's avatar
Guillaume Melquiond
@silene
a0540205 · Bump version to 8.14+rc1. · 
The Coq Proof Assistant, first release candidate of version 8.14.