Commits on Source (1)
-
Ralf Jung authored
It leads to ocamlfind being upgraded and downgraded all the time, which leads to Coq being recompiled.
7788488e
It leads to ocamlfind being upgraded and downgraded all the time, which leads to Coq being recompiled.