Coq-JSON 0.1.1 incompatible with ExtLib >= 0.12.1#3533

liyishuai wants to merge 7 commits intorocq-prover:masterrocq-prover/opam:masterfrom

liyishuai:patch-4liyishuai/opam:patch-4Copy head branch name to clipboard