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

Tags: rocq-prover/platform

Tags

2025.01.0

Toggle 2025.01.0's commit message 
Release 2025.01.0 with latest pick 8.20~2025.01

2024.10.1

Toggle 2024.10.1's commit message 
Release 2024.10.1 with adjustments to opam 2.3.0 (unmodified pick 8.1…

…9~2024.10)

2024.10.0

Toggle 2024.10.0's commit message 
Release 2024.10.0 with latest pick 8.19~2024.10

2024.04.beta1

Toggle 2024.04.beta1's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
rtetley Romain Tetley
GPG key ID: 0928712CA83F5153
Expired
Verified
Learn about vigilant mode 
Beta release 2024.04 with latest pick 8.19~2024.01+beta1

2023.11.0

Toggle 2023.11.0's commit message 
Release 2023.11.0 with latest picks 8.18~2023.11 and 8.18~mc2

2023.03.1

Toggle 2023.03.1's commit message 
Release 2023.03.1 with latest pick 8.17~2023.08 (bug fix release)

2023.03.0

Toggle 2023.03.0's commit message 
Release 2023.03.0 with latest pick 8.17~2023.08

V8.19+alpha

Toggle V8.19+alpha's commit message

Verified

This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode 
First commit in master and not in v8.18

V8.17.1

Toggle V8.17.1's commit message

Verified

This tag was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Verified
Learn about vigilant mode 
Coq 8.17.1

V8.17.0

Toggle V8.17.0's commit message

Verified

This tag was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Verified
Learn about vigilant mode 
Coq 8.17.0
0