Releases: rocq-prover/rocq
Releases · rocq-prover/rocq
Rocq 9.0.1
V9.0.1
This tag was signed with the committer’s verified signature.
The key has expired.
9dad753
This commit was signed with the committer’s verified signature.
The key has expired.
See the changelog for an overview of the new bug fixes and changes.
Rocq 9.1.0
V9.1.0
This tag was signed with the committer’s verified signature.
See the changelog for an overview of the new bug fixes and changes.
Rocq 9.1+rc1
V9.1+rc1
This tag was signed with the committer’s verified signature.
See the changelog for an overview of the new bug fixes and changes.
Rocq 9.0.0
V9.0.0
This tag was signed with the committer’s verified signature.
The key has expired.
71a63db
This commit was signed with the committer’s verified signature.
The key has expired.
See the changelog for an overview of the new bug fixes and changes.
Rocq 9.0+rc1
V9.0+rc1
This tag was signed with the committer’s verified signature.
The key has expired.
8d8cb43
This commit was signed with the committer’s verified signature.
The key has expired.
See the changelog for an overview of the new bug fixes and changes.
Coq 8.20.1
See the changelog for an overview of the new bug fixes and changes.
Coq 8.20.0
See the changelog for an overview of the new features and changes.
Coq 8.20+rc1
See the changelog for an overview of the new features and changes.
Coq 8.19.2
V8.19.2
This tag was signed with the committer’s verified signature.
See the changelog (or changelog section in the attached manual) for an overview of the new bug fixes and changes.
Coq 8.19.1
V8.19.1
This tag was signed with the committer’s verified signature.
See the changelog for an overview of the new features and changes.