Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
Makefile.in
Find file
Blame
History
Permalink
fixed compilation of Coq plug-in with make -j
· e4f105d2
Jean-Christophe Filliâtre
authored
Apr 05, 2012
test-api no longer depends on why3.cma
e4f105d2