opam-repository/packages/coq-serapi/coq-serapi.8.16.0+0.16.3/ at d38f51f8d3b0761a1b11d6159006dc415dcaf7b9 · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / coq-serapi / coq-serapi.8.16.0+0.16.3 /

at d38f51f8d3b0761a1b11d6159006dc415dcaf7b9 1 file

coq-serapi < 0.20 needs upper bound on ocamlfind

10 months ago