Mentions légales du service
Skip to content
GitLab
Explore
Sign in
GILBERT Gaëtan
coq
Tags
V8.19+rc1
V8.19+rc1
gaetan.gilbert@skyskimmer.net
dba73c09
·
Bump version to 8.19+rc1
·
Dec 18, 2023
First release candidate for Coq 8.19.0.