Package lambdapi

• do-deps

  OK

• do-compile

  OK

All universes

a884baeeb8646e7653e4f8f59af6b79a

• prep

  • prep lambdapi.2.4.1-a884baeeb8646e7653e4f8f59af6b79a

    OK

  • prep dependency angstrom.0.16.1-f4b74550a2a278301a678c62a684d4e6

    OK

  • prep dependency asn1-combinators.0.3.2-66b7b763cf21947cece50d318e846ce9

    OK

  • prep dependency base-bytes.base-01fc533ed95ac82553675e47931f9e46

    OK

  • prep dependency base-threads.base-b4349cf7232e6b66621e089f2b9beee5

    OK

  • prep dependency base-unix.base-b4349cf7232e6b66621e089f2b9beee5

    OK

  • prep dependency base64.3.5.1-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency bigarray-compat.1.1.0-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency bigarray-overlap.0.2.1-b58b993d5d211b0771e35bfdbe1c5f84

    OK

  • prep dependency bigstringaf.0.10.0-7d16fcdf033af8ebf6a1fe62108dcff7

    OK

  • prep dependency bindlib.6.0.0-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency camlp-streams.5.0.1-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency caqti.2.2.4-317f103a24bbf4b6bdbb4e8aa7656f76

    OK

  • prep dependency caqti-lwt.2.2.4-e086f4f63d6f871fa7eb9f0bf9a462ed

    OK

  • prep dependency cmdliner.1.3.0-c43b17abdeb9c13d2ceb83d309ed632a

    OK

  • prep dependency conf-gmp.5-ce56a397f57b2c226d96fdcb785de98e

    OK

  • prep dependency conf-gmp-powm-sec.4-e8dcad535edc2c23db32d01ec79be7fa

    OK

  • prep dependency conf-libev.4-12-c43b17abdeb9c13d2ceb83d309ed632a

    OK

  • prep dependency conf-libssl.4-ce56a397f57b2c226d96fdcb785de98e

    OK

  • prep dependency conf-pkg-config.4-b4349cf7232e6b66621e089f2b9beee5

    OK

  • prep dependency cppo.1.8.0-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency csexp.1.5.2-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency cstruct.6.2.0-d3b3dee899540153dc9b642415fb283b

    OK

  • prep dependency digestif.1.3.0-20c3ee282abf5292de7087682948c459

    OK

  • prep dependency domain-name.0.4.1-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency dream.1.0.0~alpha8-4b70fa2334e52be843528e363a8d53f2

    OK

  • prep dependency dream-httpaf.1.0.0~alpha4-edb44c05b18c60274c4a6be1cb475b98

    OK

  • prep dependency dream-pure.1.0.0~alpha2-e01772afa1b17e865dcf9157e03bac10

    OK

  • prep dependency dune.3.18.2-3114aec9e7f412ca05476b1c25ff1eb5

    OK

  • prep dependency dune-configurator.3.18.2-925beb26f1f5baf8784e8cd4e4db8ebe

    OK

  • prep dependency dune-private-libs.3.18.2-76de17350272aa87f00be329e3bac94d

    OK

  • prep dependency dune-site.3.18.2-026920d109f5b8933c10a1f2b28ee3e7

    OK

  • prep dependency duration.0.2.1-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency dyn.3.18.2-d9e1853f29158f647a95fc5639903f13

    OK

  • prep dependency eqaf.0.10-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency faraday.0.8.2-9aa91320e967a144fdfd894098fb65ed

    OK

  • prep dependency faraday-lwt.0.8.2-e70061132045b6a3de27d44636b11bbf

    OK

  • prep dependency faraday-lwt-unix.0.8.2-d12d63d4c63ca6e8371def8f5c5fbb04

    OK

  • prep dependency fmt.0.10.0-43c4fd677c629835f5d2176035a7cd20

    OK

  • prep dependency gen.1.1-92107196fb817f6cb831f524e2528de7

    OK

  • prep dependency gluten.0.5.2-8dd42f646c235447ac848357ff1d9b44

    OK

  • prep dependency gluten-lwt.0.5.2-246d61a9edbdfdf6c604f157d838cf56

    OK

  • prep dependency gluten-lwt-unix.0.5.2-2f17e3aa7dbdcc6c2012b866f5650671

    OK

  • prep dependency gmap.0.3.0-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency graphql.0.14.0-fedce0a1d031f9da98f228cfa8a66ef5

    OK

  • prep dependency graphql-lwt.0.14.0-6c82f524193ed0c6e762b90c98265869

    OK

  • prep dependency graphql_parser.0.14.0-e4b0213d6a7884440acef833c5c26c45

    OK

  • prep dependency h2.0.10.0-7db7d9407a63f0107c087797427e1114

    OK

  • prep dependency h2-lwt.0.10.0-4730e4505206346ab05f764ccf4363e6

    OK

  • prep dependency h2-lwt-unix.0.10.0-69a878097aa631490ad778a630bacb59

    OK

  • prep dependency hmap.0.8.1-13891a1ec2e3dcf02de0d95b06186ebf

    OK

  • prep dependency hpack.0.13.0-15e3641b66f6acc8d055f349d4db1d04

    OK

  • prep dependency httpaf.0.7.1-a6e0f906087b819cc9a283d153f1a332

    OK

  • prep dependency httpun.0.1.0-996c37f91c510c70c4d020bcb25de5fc

    OK

  • prep dependency httpun-lwt.0.1.0-f0101b7fb1f7c3030c7147ca05323acd

    OK

  • prep dependency httpun-lwt-unix.0.1.0-315fe1763c989a37a7d04d4262bf1d40

    OK

  • prep dependency httpun-types.0.1.0-8dd42f646c235447ac848357ff1d9b44

    OK

  • prep dependency httpun-ws.0.2.0-c2c847e873413a70c8dfb62f467dd4bf

    OK

  • prep dependency ipaddr.5.6.0-716a1f4501d282a0f964447ab4f682cb

    OK

  • prep dependency kdf.1.0.0-7c3004d469a3984eea10a5d692febaa2

    OK

  • prep dependency ke.0.6-d3b3dee899540153dc9b642415fb283b

    OK

  • prep dependency lambdasoup.1.1.1-33851ff066ae9b0ee4eb16c8d6ac2ea6

    OK

  • prep dependency logs.0.8.0-ceab01de7ee98095faeb64bf11840802

    OK

  • prep dependency lru.0.3.1-21b75fdb52a50a4e6e9e5c1ef27e7151

    OK

  • prep dependency lwt.5.9.1-99b94a29bd0df0b00ac7fdc5b3312a32

    OK

  • prep dependency lwt-dllist.1.1.0-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency lwt_ppx.5.9.1-00045763ab442436567c6b624988ef72

    OK

  • prep dependency lwt_ssl.1.2.0-0a92a22bbfe6c80ccd21c523b50f4e07

    OK

  • prep dependency macaddr.5.6.0-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency magic-mime.1.3.1-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency markup.1.0.3-fcfbf269038a198b744326fee83489fc

    OK

  • prep dependency menhir.20240715-e48859871bcbaaa1f9191915da2aae15

    OK

  • prep dependency menhirCST.20240715-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency menhirLib.20240715-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency menhirSdk.20240715-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency mirage-clock.4.2.0-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency mirage-crypto.1.2.0-9fc2ef97e47e5b4fc225d5f4e7609949

    OK

  • prep dependency mirage-crypto-ec.1.2.0-2983208896cfc90505f81c8793d14f61

    OK

  • prep dependency mirage-crypto-pk.1.2.0-203f7c4a6c63125aad04283e3eeb653b

    OK

  • prep dependency mirage-crypto-rng.1.2.0-9cf3089f95a266f457fc68998aa21746

    OK

  • prep dependency mirage-crypto-rng-lwt.1.2.0-a7ffd3453902b48f53baf86b6edf4ac7

    OK

  • prep dependency mtime.2.1.0-13891a1ec2e3dcf02de0d95b06186ebf

    OK

  • prep dependency multipart_form.0.6.0-d7b2d3fc983b86c303096e8c3741792d

    OK

  • prep dependency multipart_form-lwt.0.6.0-60e7aa6b644ac6b244b75b2c39f38e84

    OK

  • prep dependency num.1.5-1-c43b17abdeb9c13d2ceb83d309ed632a

    OK

  • prep dependency ocaml.5.3.0-fa1e7b231be6d37a5e076747588e8a81

    OK

  • prep dependency ocaml-base-compiler.5.3.0-259cc3b16b981e6a51e20757f9cd8e63

    OK

  • prep dependency ocaml-compiler.5.3.0-b4349cf7232e6b66621e089f2b9beee5

    OK

  • prep dependency ocaml-compiler-libs.v0.17.0-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency ocaml-config.3-593d62e54e3fb734e52be360ecf90b6d

    OK

  • prep dependency ocaml-syntax-shims.1.0.0-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency ocamlbuild.0.16.1-c43b17abdeb9c13d2ceb83d309ed632a

    OK

  • prep dependency ocamlfind.1.9.8-c43b17abdeb9c13d2ceb83d309ed632a

    OK

  • prep dependency ocplib-endian.1.2-67ceab67d54634197c59860c2054ba1f

    OK

  • prep dependency ohex.0.2.0-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency ordering.3.18.2-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency pecu.0.7-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency pp.2.0.0-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency ppx_derivers.1.2.1-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency ppxlib.0.35.0-bfcbdb928406452cd87cdbbec44b16c0

    OK

  • prep dependency pratter.3.0.0-7b5ef788ad84f447921fef5bd28f8cca

    OK

  • prep dependency prettym.0.0.3-e93b0b59ae364a0b71f21d13cc1380a6

    OK

  • prep dependency psq.0.2.1-92107196fb817f6cb831f524e2528de7

    OK

  • prep dependency ptime.1.2.0-13891a1ec2e3dcf02de0d95b06186ebf

    OK

  • prep dependency re.1.12.0-92107196fb817f6cb831f524e2528de7

    OK

  • prep dependency result.1.5-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency rresult.0.7.0-13891a1ec2e3dcf02de0d95b06186ebf

    OK

  • prep dependency sedlex.3.4-3dffabc2c285363f9ce1c8c70b723095

    OK

  • prep dependency seq.base-c43b17abdeb9c13d2ceb83d309ed632a

    OK

  • prep dependency sexplib0.v0.17.0-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency ssl.0.7.0-189061cbbf1280f4fcf4e5c951b90185

    OK

  • prep dependency stdlib-shims.0.3.0-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency stdune.3.18.2-6d0c6e6d42de058a3accebf959c4c0dc

    OK

  • prep dependency stringext.1.6.0-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency timed.1.1-5bb7ea21fab6d288e498a5befa65d36c

    OK

  • prep dependency tls.2.0.1-5cc124701a56961422d5a46aa3ce2cdc

    OK

  • prep dependency topkg.1.0.8-7cabcdaa04003e3bada32f5f91de2242

    OK

  • prep dependency uchar.0.0.2-a99809781f43db3ff6326012114ffb00

    OK

  • prep dependency unstrctrd.0.4-cb79c266fa9086bc204cb10680a70715

    OK

  • prep dependency uri.4.4.0-584229c86d3575e771c8a1fc564e4794

    OK

  • prep dependency uutf.1.0.4-6889b39163102e34153a1620f188452c

    OK

  • prep dependency why3.1.7.2-f835d65a0ab2057a40a8434f148d423e

    OK

  • prep dependency x509.1.0.6-0bcef3408fa3b14bd3d9d05060aa3db8

    OK

  • prep dependency yojson.2.2.2-92107196fb817f6cb831f524e2528de7

    OK

  • prep dependency zarith.1.14-1cd9ac62aa3bdf3dc6c942cf067940ad

    OK