Package lambdapi

do-deps
active
do-compile
active

All universes

04e6fdb6eb08d86dcfe43270d9051a25

prep
- prep lambdapi.3.0.0-04e6fdb6eb08d86dcfe43270d9051a25
  active
- prep dependency angstrom.0.16.1-cb7db8e4a7bb747b145b8e87a1ae1305
  active
- prep dependency asn1-combinators.0.3.2-adc331b1b3fd75789509eb9927cbf574
  active
- prep dependency base.v0.17.3-b9f94f9e1f5644e8e4d275f878608330
  active
- prep dependency base-bytes.base-28082cac47e9b5382415215115e44c94
  active
- prep dependency base-threads.base-431006b7798dde30d7728c5df9bb0948
  active
- prep dependency base-unix.base-431006b7798dde30d7728c5df9bb0948
  active
- prep dependency base64.3.5.2-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency bigarray-compat.1.1.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency bigstringaf.0.10.0-ec1a579729d9dc26dfda4a75cdbc1de0
  active
- prep dependency bstr.0.0.4-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency camlp-streams.5.0.1-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency caqti.2.2.4-dcd39d22cec0197605b871d6c720f8e6
  active
- prep dependency caqti-lwt.2.2.4-bf6510dfee65a07b36c0ac692615198b
  active
- prep dependency cmdliner.1.3.0-7d8ef1b481069521916197c29ef4a3c9
  active
- prep dependency conf-gmp.5-1a8c4104a4c1e97b46faea537ac23819
  active
- prep dependency conf-gmp-powm-sec.4-3eeeb2006721f3fad0fde486c2fb30e6
  active
- prep dependency conf-libev.4-13-7d8ef1b481069521916197c29ef4a3c9
  active
- prep dependency conf-libssl.4-1a8c4104a4c1e97b46faea537ac23819
  active
- prep dependency conf-pkg-config.4-431006b7798dde30d7728c5df9bb0948
  active
- prep dependency cppo.1.8.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency csexp.1.5.2-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency cstruct.6.2.0-fd61171875952a9261ee987231b266df
  active
- prep dependency digestif.1.3.0-6799a8560a075811d2b71c52869b74ec
  active
- prep dependency domain-name.0.5.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency dream.1.0.0~alpha8-76fdcd1988d6c13f699e64f2bd6a9471
  active
- prep dependency dream-httpaf.1.0.0~alpha4-35a4388747871e9d805d723b29f3f37d
  active
- prep dependency dream-pure.1.0.0~alpha2-9959b9d64ea312fe3d1d21fa8f7c08b2
  active
- prep dependency dune.3.21.0-01cb096815ba24d0001a4d55238d7e43
  active
- prep dependency dune-configurator.3.21.0-0d2945a41f2df869ce715d03c0ffe3d6
  active
- prep dependency dune-private-libs.3.21.0-e0939931978cbd4203d579766e65fc75
  active
- prep dependency dune-site.3.21.0-3b19628e9225e3300af17dfc457df432
  active
- prep dependency duration.0.2.1-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency dyn.3.21.0-48e2adea811630ba8dcf63000e511974
  active
- prep dependency eqaf.0.10-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency faraday.0.8.2-f1466e24524355bd742223c2ba61e878
  active
- prep dependency faraday-lwt.0.8.2-3df6cddefba51d3c341898577eb086a4
  active
- prep dependency faraday-lwt-unix.0.8.2-d2ddffc4bd8619c21e80c0649d234b06
  active
- prep dependency fmt.0.11.0-fb8a387002bff46e5c65435a45d76cc8
  active
- prep dependency fs-io.3.21.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency gen.1.1-cd7b13e6d8ed1eb3c6adc1d480e50505
  active
- prep dependency gluten.0.5.2-3e07e77707884cf80c8117d4013182fe
  active
- prep dependency gluten-lwt.0.5.2-2b33bb32acdba7541b6ca19575a29474
  active
- prep dependency gluten-lwt-unix.0.5.2-c0fd4d6d3803fcb8a63120c2c04d8401
  active
- prep dependency gmap.0.3.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency graphql.0.14.0-f667856e6afd3e536706ffbfebfc4c06
  active
- prep dependency graphql-lwt.0.14.0-e9ffe046401501584296d7b439a983f4
  active
- prep dependency graphql_parser.0.14.0-22e91fabd7a3c90b27b75045ade16551
  active
- prep dependency h2.0.10.0-938a5e18f88c429a3abd1000292d55cf
  active
- prep dependency h2-lwt.0.10.0-96f3805839f0132d6dcebbfe7f92d1ce
  active
- prep dependency h2-lwt-unix.0.10.0-ccbc96f266a0bea6a5de65779682817e
  active
- prep dependency hmap.0.8.1-6d1079229897e4d2a2999f954dd47812
  active
- prep dependency hpack.0.13.0-4d29dcf9ccba111f5fd7252c49f1fc4e
  active
- prep dependency httpaf.0.7.1-a3464d6fa8bc717684fd8249ed65848d
  active
- prep dependency httpun.0.1.0-9d6875878cf867a91f3f69b0dd770c43
  active
- prep dependency httpun-lwt.0.1.0-d550b48fc68c81a914ca3fae3796b69e
  active
- prep dependency httpun-lwt-unix.0.1.0-7c50794d4be067dfa8a288268460aa88
  active
- prep dependency httpun-types.0.1.0-3e07e77707884cf80c8117d4013182fe
  active
- prep dependency httpun-ws.0.2.0-fc946eb5ca938b4120371702843f2948
  active
- prep dependency ipaddr.5.6.1-9237bf46bb1eafcd01ab7fd64a705b75
  active
- prep dependency js_of_ocaml-compiler.6.2.0-d5a79d19a4f117f8120970b72e0f8d9b
  active
- prep dependency kdf.1.0.0-2849de07542bed7a82961478e95973e3
  active
- prep dependency ke.0.6-fd61171875952a9261ee987231b266df
  active
- prep dependency lambdasoup.1.1.1-a2b469a9c89b06879ac1855379e0bca5
  active
- prep dependency logs.0.10.0-79db3974d1044f0924baefc48e744ef4
  active
- prep dependency lru.0.3.1-7d68405d8e192788562e9360bcd403bb
  active
- prep dependency lwt.5.9.2-117ae3244e72d9546ec3d01543e43a91
  active
- prep dependency lwt-dllist.1.1.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency lwt_ppx.5.9.3-4fc8485e2e697dd958d661d074b95c6d
  active
- prep dependency lwt_ssl.1.2.0-58b60af96efcc964cb8b2a231651676b
  active
- prep dependency macaddr.5.6.1-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency magic-mime.1.3.1-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency markup.1.0.3-1075a40c0ab55b87df9526571bc9030e
  active
- prep dependency menhir.20260122-67522a120037b47e9d36638b6ef8deea
  active
- prep dependency menhirCST.20260122-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency menhirGLR.20260122-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency menhirLib.20260122-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency menhirSdk.20260122-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency mirage-clock.4.2.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency mirage-crypto.1.2.0-bdb3da77fdec797f8b73360dde07f486
  active
- prep dependency mirage-crypto-ec.1.2.0-a6307d352f89a8402c45e7054b02c1f0
  active
- prep dependency mirage-crypto-pk.1.2.0-c875ab2bca7609a6d621a71e2e588e7a
  active
- prep dependency mirage-crypto-rng.1.2.0-0853e9d21488118e9e6da6d3fdc96ade
  active
- prep dependency mirage-crypto-rng-lwt.1.2.0-edf45fa8d2fceebb8a6d05ecec4d47bf
  active
- prep dependency mtime.2.1.0-6d1079229897e4d2a2999f954dd47812
  active
- prep dependency multipart_form.0.7.0-4470ded462f7796d419d58b4d8c5f9d7
  active
- prep dependency multipart_form-lwt.0.7.0-b2e0a783991cd74cf5b0cf67b3bde174
  active
- prep dependency num.1.6-7d8ef1b481069521916197c29ef4a3c9
  active
- prep dependency ocaml.5.4.0-700c7e2fead6b639c37f02742ab5c8a7
  active
- prep dependency ocaml-base-compiler.5.4.0-fa47b4b8cb10bdb7c95ca0f933d2def6
  active
- prep dependency ocaml-compiler.5.4.0-431006b7798dde30d7728c5df9bb0948
  active
- prep dependency ocaml-compiler-libs.v0.17.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency ocaml-config.3-2edf3983b037899d231c875fdd476b20
  active
- prep dependency ocaml-syntax-shims.1.0.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency ocaml_intrinsics_kernel.v0.17.1-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency ocamlbuild.0.16.1-7d8ef1b481069521916197c29ef4a3c9
  active
- prep dependency ocamlfind.1.9.8-7d8ef1b481069521916197c29ef4a3c9
  active
- prep dependency ocamlgraph.2.2.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency ocplib-endian.1.2-a8604ac14f72e6886a7ca2a9f22eeecb
  active
- prep dependency ohex.0.2.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency ordering.3.21.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency parsexp.v0.17.0-5dea6ca1ec3cae0a19e5ff5bc3c3394d
  active
- prep dependency pecu.0.7-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency pp.2.0.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency ppx_derivers.1.2.1-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency ppx_sexp_conv.v0.17.1-6df74cf0a14a36afc93300b018b3faba
  active
- prep dependency ppxlib.0.37.0-a676f3bee84f8ab9b20ee70f0053c30d
  active
- prep dependency ppxlib_jane.v0.17.4-831cbf9b55b1b47852ca2e38dda01cd3
  active
- prep dependency pratter.5.0.1-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency prettym.0.0.4-9adc5028c95f3f817520b84065c254ae
  active
- prep dependency psq.0.2.1-cd7b13e6d8ed1eb3c6adc1d480e50505
  active
- prep dependency ptime.1.2.0-6d1079229897e4d2a2999f954dd47812
  active
- prep dependency re.1.14.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency result.1.5-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency rresult.0.7.0-6d1079229897e4d2a2999f954dd47812
  active
- prep dependency sedlex.3.7-4437a5aa9d694831c60298adaf989479
  active
- prep dependency seq.base-7d8ef1b481069521916197c29ef4a3c9
  active
- prep dependency sexplib.v0.17.0-a378504ee6a04d5b4037348eeb867e0d
  active
- prep dependency sexplib0.v0.17.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency ssl.0.7.0-71e5187fb73bc09482fa06842f0770f4
  active
- prep dependency stdlib-shims.0.3.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency stdune.3.21.0-bdefc7f90d4de5d5f5fa41eba48a2cae
  active
- prep dependency stringext.1.6.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency timed.1.1-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency tls.2.0.3-14da6e538f0592a218d49cab7093aa04
  active
- prep dependency top-closure.3.21.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency topkg.1.1.1-8c290acd978593e6c7831161982ea15f
  active
- prep dependency uchar.0.0.2-539c3d6ed4c5ee2e3f36e910cc0b6095
  active
- prep dependency unstrctrd.0.4-f5d2f53635ec6c4ab37455a4dd1b3021
  active
- prep dependency uri.4.4.0-29bcb86ddebfb4802a4d8fa26433cd34
  active
- prep dependency uutf.1.0.4-631ea5e6e1fb455c1052abf515787b60
  active
- prep dependency why3.1.8.2-4c0bbb7a33a81d89d92a8356ba4ba4d2
  active
- prep dependency x509.1.0.6-acf303384a86b1cfad28141a17b4edf9
  active
- prep dependency yojson.3.0.0-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency zarith.1.14-7e8bafe45f7ffb9a29272b68a5503042
  active

Package lambdapi

do-deps

do-compile

All universes

04e6fdb6eb08d86dcfe43270d9051a25

prep

prep lambdapi.3.0.0-04e6fdb6eb08d86dcfe43270d9051a25

prep dependency angstrom.0.16.1-cb7db8e4a7bb747b145b8e87a1ae1305

prep dependency asn1-combinators.0.3.2-adc331b1b3fd75789509eb9927cbf574

prep dependency base.v0.17.3-b9f94f9e1f5644e8e4d275f878608330

prep dependency base-bytes.base-28082cac47e9b5382415215115e44c94

prep dependency base-threads.base-431006b7798dde30d7728c5df9bb0948

prep dependency base-unix.base-431006b7798dde30d7728c5df9bb0948

prep dependency base64.3.5.2-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency bigarray-compat.1.1.0-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency bigstringaf.0.10.0-ec1a579729d9dc26dfda4a75cdbc1de0

prep dependency bstr.0.0.4-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency camlp-streams.5.0.1-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency caqti.2.2.4-dcd39d22cec0197605b871d6c720f8e6

prep dependency caqti-lwt.2.2.4-bf6510dfee65a07b36c0ac692615198b

prep dependency cmdliner.1.3.0-7d8ef1b481069521916197c29ef4a3c9

prep dependency conf-gmp.5-1a8c4104a4c1e97b46faea537ac23819

prep dependency conf-gmp-powm-sec.4-3eeeb2006721f3fad0fde486c2fb30e6

prep dependency conf-libev.4-13-7d8ef1b481069521916197c29ef4a3c9

prep dependency conf-libssl.4-1a8c4104a4c1e97b46faea537ac23819

prep dependency conf-pkg-config.4-431006b7798dde30d7728c5df9bb0948

prep dependency cppo.1.8.0-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency csexp.1.5.2-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency cstruct.6.2.0-fd61171875952a9261ee987231b266df

prep dependency digestif.1.3.0-6799a8560a075811d2b71c52869b74ec

prep dependency domain-name.0.5.0-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency dream.1.0.0~alpha8-76fdcd1988d6c13f699e64f2bd6a9471

prep dependency dream-httpaf.1.0.0~alpha4-35a4388747871e9d805d723b29f3f37d

prep dependency dream-pure.1.0.0~alpha2-9959b9d64ea312fe3d1d21fa8f7c08b2

prep dependency dune.3.21.0-01cb096815ba24d0001a4d55238d7e43

prep dependency dune-configurator.3.21.0-0d2945a41f2df869ce715d03c0ffe3d6

prep dependency dune-private-libs.3.21.0-e0939931978cbd4203d579766e65fc75

prep dependency dune-site.3.21.0-3b19628e9225e3300af17dfc457df432

prep dependency duration.0.2.1-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency dyn.3.21.0-48e2adea811630ba8dcf63000e511974

prep dependency eqaf.0.10-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency faraday.0.8.2-f1466e24524355bd742223c2ba61e878

prep dependency faraday-lwt.0.8.2-3df6cddefba51d3c341898577eb086a4

prep dependency faraday-lwt-unix.0.8.2-d2ddffc4bd8619c21e80c0649d234b06

prep dependency fmt.0.11.0-fb8a387002bff46e5c65435a45d76cc8

prep dependency fs-io.3.21.0-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency gen.1.1-cd7b13e6d8ed1eb3c6adc1d480e50505

prep dependency gluten.0.5.2-3e07e77707884cf80c8117d4013182fe

prep dependency gluten-lwt.0.5.2-2b33bb32acdba7541b6ca19575a29474

prep dependency gluten-lwt-unix.0.5.2-c0fd4d6d3803fcb8a63120c2c04d8401

prep dependency gmap.0.3.0-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency graphql.0.14.0-f667856e6afd3e536706ffbfebfc4c06

prep dependency graphql-lwt.0.14.0-e9ffe046401501584296d7b439a983f4

prep dependency graphql_parser.0.14.0-22e91fabd7a3c90b27b75045ade16551

prep dependency h2.0.10.0-938a5e18f88c429a3abd1000292d55cf

prep dependency h2-lwt.0.10.0-96f3805839f0132d6dcebbfe7f92d1ce

prep dependency h2-lwt-unix.0.10.0-ccbc96f266a0bea6a5de65779682817e

prep dependency hmap.0.8.1-6d1079229897e4d2a2999f954dd47812

prep dependency hpack.0.13.0-4d29dcf9ccba111f5fd7252c49f1fc4e

prep dependency httpaf.0.7.1-a3464d6fa8bc717684fd8249ed65848d

prep dependency httpun.0.1.0-9d6875878cf867a91f3f69b0dd770c43

prep dependency httpun-lwt.0.1.0-d550b48fc68c81a914ca3fae3796b69e

prep dependency httpun-lwt-unix.0.1.0-7c50794d4be067dfa8a288268460aa88

prep dependency httpun-types.0.1.0-3e07e77707884cf80c8117d4013182fe

prep dependency httpun-ws.0.2.0-fc946eb5ca938b4120371702843f2948

prep dependency ipaddr.5.6.1-9237bf46bb1eafcd01ab7fd64a705b75

prep dependency js_of_ocaml-compiler.6.2.0-d5a79d19a4f117f8120970b72e0f8d9b

prep dependency kdf.1.0.0-2849de07542bed7a82961478e95973e3

prep dependency ke.0.6-fd61171875952a9261ee987231b266df

prep dependency lambdasoup.1.1.1-a2b469a9c89b06879ac1855379e0bca5

prep dependency logs.0.10.0-79db3974d1044f0924baefc48e744ef4

prep dependency lru.0.3.1-7d68405d8e192788562e9360bcd403bb

prep dependency lwt.5.9.2-117ae3244e72d9546ec3d01543e43a91

prep dependency lwt-dllist.1.1.0-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency lwt_ppx.5.9.3-4fc8485e2e697dd958d661d074b95c6d

prep dependency lwt_ssl.1.2.0-58b60af96efcc964cb8b2a231651676b

prep dependency macaddr.5.6.1-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency magic-mime.1.3.1-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency markup.1.0.3-1075a40c0ab55b87df9526571bc9030e

prep dependency menhir.20260122-67522a120037b47e9d36638b6ef8deea