opam-repository/packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.13/ at df108915ed91c1703edb6718cb0a0e86f1d13d29 · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / coq-of-ocaml / coq-of-ocaml.2.5.3+4.13 /

at df108915ed91c1703edb6718cb0a0e86f1d13d29 1 file

coq-of-ocaml: add version constraint on angstrom, suggested by @raphael-proust

2 years ago