opam-repository/packages/coq-serapi/coq-serapi.8.19.0+0.19.1/ at 50d1c94e7c76b2f02dc30095429ca3e1684dae16 · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / coq-serapi / coq-serapi.8.19.0+0.19.1 /

at 50d1c94e7c76b2f02dc30095429ca3e1684dae16 1 file

coq-serapi < 0.20 needs upper bound on ocamlfind

10 months ago