Repository navigation
Releases
Releases · PerfectLaugh/z3
4.15.2: mkdirs ocamlfind's destdir instead of throwing exception
ae7a3c6
This commit was signed with the committer’s verified signature.
The check was causing compilation error when using directly in dune.