Skip to content
Snippets Groups Projects
Select Git revision
  • opam2 default protected
  • master protected
2 results
Compare
user avatar
un-do '--use-internal-solver'
Ralf Jung authored 
It leads to ocamlfind being upgraded and downgraded all the time, which leads to
Coq being recompiled.
7788488e
History
user avatar 7788488e
History
Name Last commit Last update