Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Admin message
GitLab upgrade completed. Current version is 17.11.6.
coq
configure.in
Find file
Blame
Permalink
Mar 09, 2018
9447bb3b
Add partial support for Coq 8.8.
· 9447bb3b
Guillaume Melquiond
authored
Mar 09, 2018
9447bb3b
Add partial support for Coq 8.8.
Guillaume Melquiond
authored
Mar 09, 2018
Loading
