Package elpi
All universes
a4a5f950e69e09e5c0623c735120e6cb
prep
prep elpi.1.18.1-a4a5f950e69e09e5c0623c735120e6cb
OKprep dependency atd.2.16.0-b7977f4984317088e5ceef6c76d9f03a
OKprep dependency atdgen.2.15.0-cc6a7e6cad903e5739b0f53d8377ed82
OKprep dependency atdgen-runtime.2.16.0-6464008ffa472dab73c81680bb18f960
OKprep dependency atdts.2.16.0-883b315de8568fdbce09f00ed1489f21
OKprep dependency base-threads.base-b4349cf7232e6b66621e089f2b9beee5
OKprep dependency base-unix.base-b4349cf7232e6b66621e089f2b9beee5
OKprep dependency biniou.1.2.2-9a2bd225a0e4b4c230367f9b7d323dac
OKprep dependency camlp-streams.5.0.1-66dc398d3fb39e53f228131aa7934c8b
OKprep dependency cmdliner.1.3.0-c43b17abdeb9c13d2ceb83d309ed632a
OKprep dependency cppo.1.8.0-66dc398d3fb39e53f228131aa7934c8b
OKprep dependency dune.3.19.1-3114aec9e7f412ca05476b1c25ff1eb5
OKprep dependency easy-format.1.3.4-66dc398d3fb39e53f228131aa7934c8b
OKprep dependency menhir.20240715-8b33d709bbbe1f5fc43d09a112e23e51
OKprep dependency menhirCST.20240715-66dc398d3fb39e53f228131aa7934c8b
OKprep dependency menhirLib.20240715-66dc398d3fb39e53f228131aa7934c8b
OKprep dependency menhirSdk.20240715-66dc398d3fb39e53f228131aa7934c8b
OKprep dependency ocaml.5.3.0-fa1e7b231be6d37a5e076747588e8a81
OKprep dependency ocaml-base-compiler.5.3.0-259cc3b16b981e6a51e20757f9cd8e63
OKprep dependency ocaml-compiler.5.3.0-b4349cf7232e6b66621e089f2b9beee5
OKprep dependency ocaml-compiler-libs.v0.17.0-66dc398d3fb39e53f228131aa7934c8b
OKprep dependency ocaml-config.3-593d62e54e3fb734e52be360ecf90b6d
OKprep dependency ocamlfind.1.9.8-c43b17abdeb9c13d2ceb83d309ed632a
OKprep dependency ppx_derivers.1.2.1-66dc398d3fb39e53f228131aa7934c8b
OKprep dependency ppx_deriving.6.0.3-27ce3ca4c539f9ebb01f5bc76b660b6f
OKprep dependency ppxlib.0.35.0-350299bc41bf3350641611bdd14d1423
OKprep dependency re.1.12.0-67f017f0a08ecc30f2945d837471092c
OKprep dependency seq.base-c43b17abdeb9c13d2ceb83d309ed632a
OKprep dependency sexplib0.v0.17.0-66dc398d3fb39e53f228131aa7934c8b
OKprep dependency stdlib-shims.0.3.0-66dc398d3fb39e53f228131aa7934c8b
OKprep dependency yojson.2.2.2-67f017f0a08ecc30f2945d837471092c
OK