Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
opam
why3-base
opam
Find file
Blame
History
Permalink
Avoid a data race due to LIBDIR and OCAMLINSTALLLIB being the same directory on opam.
· 74b39f31
Guillaume Melquiond
authored
Jan 11, 2018
This commit also marks the dependency on ocamlfind as being build-only.
74b39f31