Package sail

do-deps
active
do-compile
active

All universes

9ee95f1c2192e017a11bd6eaed52b2bd

prep
- prep sail.0.16-9ee95f1c2192e017a11bd6eaed52b2bd
  active
- prep dependency base-threads.base-0c556d5438933bda409408695b5733e7
  active
- prep dependency base-unix.base-0c556d5438933bda409408695b5733e7
  active
- prep dependency conf-findutils.1-0c556d5438933bda409408695b5733e7
  active
- prep dependency conf-gmp.5-9a668c7fa9112a3f1e23ef4159d44fb7
  active
- prep dependency conf-pkg-config.4-0c556d5438933bda409408695b5733e7
  active
- prep dependency conf-zlib.1-9a668c7fa9112a3f1e23ef4159d44fb7
  active
- prep dependency csexp.1.5.2-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency dune.3.21.0-e024f97198156aca38c1ffa4a15e7553
  active
- prep dependency dune-private-libs.3.21.0-20c944fa9fb5fc71fa2770d9e306365a
  active
- prep dependency dune-site.3.21.0-90d80b721db6678d4cb6608f1930a84a
  active
- prep dependency dyn.3.21.0-4ca5bfae2511bb6eae6b999d808d6d22
  active
- prep dependency fs-io.3.21.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency lem.2025-03-13-4fdee98744fced1ac743c60f4c2958e5
  active
- prep dependency libsail.0.16-58046961514a989b92dc2839546ec0c2
  active
- prep dependency linenoise.1.5.1-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency linksem.0.8-abe67d3cfbd18da1d968b7b915140eb4
  active
- prep dependency menhir.20250912-e2e5ae18d577b5cb174f6e382780e786
  active
- prep dependency menhirCST.20250912-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency menhirLib.20250912-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency menhirSdk.20250912-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency num.1.6-24d8a45b73ecf4f375220abed490622c
  active
- prep dependency ocaml.5.2.1-33dc7449289735d50b43af338d1f909c
  active
- prep dependency ocaml-base-compiler.5.2.1-0c556d5438933bda409408695b5733e7
  active
- prep dependency ocaml-config.3-645e3af890eb0011d48fed8c291ad8db
  active
- prep dependency ocamlbuild.0.16.1-24d8a45b73ecf4f375220abed490622c
  active
- prep dependency ocamlfind.1.9.8-24d8a45b73ecf4f375220abed490622c
  active
- prep dependency ocamlgraph.2.2.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency ordering.3.21.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency ott.0.34-706ebe4926484b0f8226e79c7cf21042
  active
- prep dependency pp.2.0.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency pprint.20230830-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency sail_manifest.0.16-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency stdune.3.21.0-cea72ae43cc937108eab5145dc1dfe82
  active
- prep dependency top-closure.3.21.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency yojson.3.0.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency zarith.1.14-4b6af3164219f7ee9e6bde9e2a7688e7
  active

Package sail

do-deps

do-compile

All universes

9ee95f1c2192e017a11bd6eaed52b2bd

prep

prep sail.0.16-9ee95f1c2192e017a11bd6eaed52b2bd

prep dependency base-threads.base-0c556d5438933bda409408695b5733e7

prep dependency base-unix.base-0c556d5438933bda409408695b5733e7

prep dependency conf-findutils.1-0c556d5438933bda409408695b5733e7

prep dependency conf-gmp.5-9a668c7fa9112a3f1e23ef4159d44fb7

prep dependency conf-pkg-config.4-0c556d5438933bda409408695b5733e7

prep dependency conf-zlib.1-9a668c7fa9112a3f1e23ef4159d44fb7

prep dependency csexp.1.5.2-37e4299220f8ef357865b20a48fbf90a

prep dependency dune.3.21.0-e024f97198156aca38c1ffa4a15e7553

prep dependency dune-private-libs.3.21.0-20c944fa9fb5fc71fa2770d9e306365a

prep dependency dune-site.3.21.0-90d80b721db6678d4cb6608f1930a84a

prep dependency dyn.3.21.0-4ca5bfae2511bb6eae6b999d808d6d22

prep dependency fs-io.3.21.0-37e4299220f8ef357865b20a48fbf90a

prep dependency lem.2025-03-13-4fdee98744fced1ac743c60f4c2958e5

prep dependency libsail.0.16-58046961514a989b92dc2839546ec0c2

prep dependency linenoise.1.5.1-37e4299220f8ef357865b20a48fbf90a

prep dependency linksem.0.8-abe67d3cfbd18da1d968b7b915140eb4

prep dependency menhir.20250912-e2e5ae18d577b5cb174f6e382780e786

prep dependency menhirCST.20250912-37e4299220f8ef357865b20a48fbf90a

prep dependency menhirLib.20250912-37e4299220f8ef357865b20a48fbf90a

prep dependency menhirSdk.20250912-37e4299220f8ef357865b20a48fbf90a

prep dependency num.1.6-24d8a45b73ecf4f375220abed490622c

prep dependency ocaml.5.2.1-33dc7449289735d50b43af338d1f909c

prep dependency ocaml-base-compiler.5.2.1-0c556d5438933bda409408695b5733e7

prep dependency ocaml-config.3-645e3af890eb0011d48fed8c291ad8db

prep dependency ocamlbuild.0.16.1-24d8a45b73ecf4f375220abed490622c

prep dependency ocamlfind.1.9.8-24d8a45b73ecf4f375220abed490622c

prep dependency ocamlgraph.2.2.0-37e4299220f8ef357865b20a48fbf90a

prep dependency ordering.3.21.0-37e4299220f8ef357865b20a48fbf90a

prep dependency ott.0.34-706ebe4926484b0f8226e79c7cf21042

prep dependency pp.2.0.0-37e4299220f8ef357865b20a48fbf90a

prep dependency pprint.20230830-37e4299220f8ef357865b20a48fbf90a

prep dependency sail_manifest.0.16-37e4299220f8ef357865b20a48fbf90a

prep dependency stdune.3.21.0-cea72ae43cc937108eab5145dc1dfe82

prep dependency top-closure.3.21.0-37e4299220f8ef357865b20a48fbf90a

prep dependency yojson.3.0.0-37e4299220f8ef357865b20a48fbf90a

prep dependency zarith.1.14-4b6af3164219f7ee9e6bde9e2a7688e7