Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
configure.in
Find file
Blame
History
Permalink
configure.in : ajout de --disable-coq-support (bcp de warning avec caml 3.12.0+dev17 ;) )
· 43666c0a
François Bobot
authored
Apr 16, 2010
43666c0a