Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Gappa
coq
Repository
coq
configure.in
Find file
Blame
History
Permalink
Ensure compatibility with Coq 8.10 and drop compatibility with 8.7.
· 2a30557f
Guillaume Melquiond
authored
Apr 09, 2019
2a30557f