opam-repository/packages/coq-serapi/coq-serapi.8.9.0+0.6.1/ at 11a45a4f245d4edea440ac67d58fa60265d652ec · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / coq-serapi / coq-serapi.8.9.0+0.6.1 /

at 11a45a4f245d4edea440ac67d58fa60265d652ec 1 file

[ppx_import] [rev-deps] Add ppx_import < 2.0 constraint to all its deps.

3 years ago