Profiles › full › package: lambdapi › 4.0.0

lambdapi.4.0.0

Not documented in the last completed run: a dependency failed, so this package's doc node was skipped.

History

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-11-07T11:10:25Z2026-11-07-103917successbuild—blessed1a641ff5faf9
137 deps
  • angstrom.0.16.1
  • asn1-combinators.0.3.3
  • base-bytes.base
  • base-threads.base
  • base-unix.base
  • base.v0.17.3
  • base64.3.5.2
  • bigarray-compat.1.1.0
  • bigstringaf.0.10.0
  • bstr.0.1.3
  • camlp-streams.5.0.1
  • caqti-lwt.3.1.0
  • caqti.3.1.0
  • compiler-cloning.enabled
  • conf-gmp-powm-sec.4
  • conf-gmp.5
  • conf-libev.4-13
  • conf-libssl.4
  • conf-pkg-config.5
  • cppo.1.8.0
  • csexp.1.5.2
  • cstruct.6.3.0
  • digestif.1.4.1
  • domain-name.0.5.0
  • dream-httpaf.1.0.0
  • dream-pure.1.0.0
  • dream.1.0.0
  • dune-configurator.3.24.2
  • dune-private-libs.3.24.2
  • dune-site.3.24.2
  • dune.3.24.2
  • duration.0.3.1
  • dyn.3.24.2
  • eqaf.0.10
  • faraday-lwt-unix.0.8.2
  • faraday-lwt.0.8.2
  • faraday.0.8.2
  • fmt.0.11.0
  • fs-io.3.24.2
  • gen.1.1
  • gluten-lwt-unix.0.5.2
  • gluten-lwt.0.5.2
  • gluten.0.5.2
  • gmap.0.3.0
  • graphql-lwt.0.14.0
  • graphql.0.14.0
  • graphql_parser.0.14.0
  • h2-lwt-unix.0.13.0
  • h2-lwt.0.13.0
  • h2.0.13.0
  • hmap.0.8.1
  • hpack.0.13.0
  • httpun-lwt-unix.0.2.0
  • httpun-lwt.0.2.0
  • httpun-types.0.2.0
  • httpun-ws.0.2.0
  • httpun.0.2.0
  • ipaddr.5.6.2
  • jane-street-headers.v0.17.0
  • jst-config.v0.17.0
  • kdf.1.1.2
  • ke.0.6
  • lambdasoup.1.1.1
  • logs.0.10.0
  • lru.0.3.1
  • lwt-dllist.1.1.0
  • lwt.6.1.2
  • lwt_ppx.6.1.0
  • lwt_ssl.1.2.0
  • macaddr.5.6.2
  • magic-mime.1.3.1
  • markup.1.0.3
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • mirage-crypto-ec.2.4.1
  • mirage-crypto-pk.2.4.1
  • mirage-crypto-rng.2.4.1
  • mirage-crypto.2.4.1
  • mirage-ptime.5.2.0
  • mtime.2.2.0
  • multipart_form-lwt.0.8.0
  • multipart_form.0.8.0
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.5.2
  • ocaml-syntax-shims.1.0.0
  • ocaml.5.5.2
  • ocaml_intrinsics_kernel.v0.17.3
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.9~preview
  • ocplib-endian.1.2
  • ohex.0.2.0
  • ordering.3.24.2
  • pecu.0.7
  • pp.2.0.0
  • ppx_assert.v0.17.0
  • ppx_base.v0.17.0
  • ppx_cold.v0.17.0
  • ppx_compare.v0.17.0
  • ppx_derivers.1.2.1
  • ppx_enumerate.v0.17.0
  • ppx_globalize.v0.17.2
  • ppx_hash.v0.17.0
  • ppx_here.v0.17.0
  • ppx_inline_test.v0.17.1
  • ppx_optcomp.v0.17.1
  • ppx_sexp_conv.v0.17.1
  • ppxlib.0.39.0
  • ppxlib_jane.v0.17.4
  • pratter.5.0.2
  • prettym.0.0.5
  • psq.0.2.1
  • ptime.1.2.0
  • re.1.14.0
  • rresult.0.7.0
  • sedlex.3.8.1
  • seq.base
  • sexplib0.v0.17.0
  • ssl.0.8.1
  • stdio.v0.17.0
  • stdune.3.24.2
  • stringext.1.6.0
  • time_now.v0.17.0
  • timed.1.1
  • top-closure.3.24.2
  • topkg.1.1.1
  • uchar.0.0.2
  • unstrctrd.0.5
  • uri.4.4.0
  • uutf.1.0.4
  • why3.1.9.0
  • x509.1.2.0
  • yojson.3.0.0
  • zarith.1.14