Package diffast-langs-verilog

do-deps
active
do-compile
active

All universes

3c7950f5e1ad518cc833edd82a8b6e3f

prep
- prep diffast-langs-verilog.0.3.5.1-3c7950f5e1ad518cc833edd82a8b6e3f
  active
- prep dependency b0.0.0.6-17f982a249b9f883767ac4b4d61ca810
  active
- prep dependency base-bytes.base-01fc533ed95ac82553675e47931f9e46
  active
- prep dependency base-threads.base-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency base-unix.base-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency base64.3.5.2-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency bytesrw.0.3.0-7871e237ae454229117dce954d196dd2
  active
- prep dependency camlp-streams.5.0.1-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency cmdliner.2.1.0-c43b17abdeb9c13d2ceb83d309ed632a
  active
- prep dependency conf-gmp.5-ce56a397f57b2c226d96fdcb785de98e
  active
- prep dependency conf-gmp-powm-sec.4-e8dcad535edc2c23db32d01ec79be7fa
  active
- prep dependency conf-pkg-config.4-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency conf-zlib.1-ce56a397f57b2c226d96fdcb785de98e
  active
- prep dependency cppo.1.8.0-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency cryptokit.1.21.1-2d1d8a6e387360e215c249be7dce2220
  active
- prep dependency csexp.1.5.2-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency csv.2.4-c328bca5f939d13d188930ff00cb2fc8
  active
- prep dependency diffast-core.0.3.5.1-6bdebcff99104d82c7dee93e7775a563
  active
- prep dependency diffast-langs-common.0.3.5.1-157434fe109c9e8a4ee4d125349b9f47
  active
- prep dependency diffast-langs-verilog-parsing.0.3.5.1-4f964de6737e531ecd492d5a80394929
  active
- prep dependency diffast-langs-verilog-spec.0.3.5.1-43e07bc701016fcb71f059ddf074e1e4
  active
- prep dependency diffast-misc.0.3.5.1-233745328be2725c32dc57c44a734dad
  active
- prep dependency dune.3.21.0-3114aec9e7f412ca05476b1c25ff1eb5
  active
- prep dependency dune-configurator.3.21.0-94bc6afc463063758b64a11b9dac06a1
  active
- prep dependency dune-private-libs.3.21.0-5ac7f4bd0f366ada751f927d21b07db6
  active
- prep dependency dune-site.3.21.0-452e63b17413f22aefbb9d2dd201f9c7
  active
- prep dependency dyn.3.21.0-09ac7179aea93430a31cdf92acd0f80b
  active
- prep dependency fs-io.3.21.0-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency gen.1.1-05179af9ccd2b4a97c25eea212531bb9
  active
- prep dependency markup.1.0.3-f2dcae6e637676b924fa17f2900641c5
  active
- prep dependency menhir.20260122-bf032f9c4a130153dc6623e58c16f6fc
  active
- prep dependency menhirCST.20260122-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency menhirGLR.20260122-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency menhirLib.20260122-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency menhirSdk.20260122-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency ocaml.5.3.0-fa1e7b231be6d37a5e076747588e8a81
  active
- prep dependency ocaml-base-compiler.5.3.0-259cc3b16b981e6a51e20757f9cd8e63
  active
- prep dependency ocaml-compiler.5.3.0-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency ocaml-compiler-libs.v0.17.0-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency ocaml-config.3-593d62e54e3fb734e52be360ecf90b6d
  active
- prep dependency ocamlbuild.0.16.1-c43b17abdeb9c13d2ceb83d309ed632a
  active
- prep dependency ocamlfind.1.9.8-c43b17abdeb9c13d2ceb83d309ed632a
  active
- prep dependency ordering.3.21.0-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency pp.2.0.0-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency ppx_derivers.1.2.1-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency ppxlib.0.37.0-29c07e272d22a9208d248c94fa36575d
  active
- prep dependency sedlex.3.7-ba5f6fe1f0d5471ac4be7ca9ce6333de
  active
- prep dependency seq.base-c43b17abdeb9c13d2ceb83d309ed632a
  active
- prep dependency sexplib0.v0.17.0-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency stdlib-shims.0.3.0-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency stdune.3.21.0-345d861563a09e47728443e716fbce1d
  active
- prep dependency top-closure.3.21.0-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency topkg.1.1.1-7cabcdaa04003e3bada32f5f91de2242
  active
- prep dependency uchar.0.0.2-a99809781f43db3ff6326012114ffb00
  active
- prep dependency uuidm.0.9.10-17f982a249b9f883767ac4b4d61ca810
  active
- prep dependency uutf.1.0.4-17f982a249b9f883767ac4b4d61ca810
  active
- prep dependency vlt.0.2.5-a4cb2d478b8c0a9a240a94e37ada8dc5
  active
- prep dependency zarith.1.14-1cd9ac62aa3bdf3dc6c942cf067940ad
  active

Package diffast-langs-verilog

do-deps

do-compile

All universes

3c7950f5e1ad518cc833edd82a8b6e3f

prep

prep diffast-langs-verilog.0.3.5.1-3c7950f5e1ad518cc833edd82a8b6e3f

prep dependency b0.0.0.6-17f982a249b9f883767ac4b4d61ca810

prep dependency base-bytes.base-01fc533ed95ac82553675e47931f9e46

prep dependency base-threads.base-b4349cf7232e6b66621e089f2b9beee5

prep dependency base-unix.base-b4349cf7232e6b66621e089f2b9beee5

prep dependency base64.3.5.2-7bf556133b21b19dadc01140195b1cc4

prep dependency bytesrw.0.3.0-7871e237ae454229117dce954d196dd2

prep dependency camlp-streams.5.0.1-7bf556133b21b19dadc01140195b1cc4

prep dependency cmdliner.2.1.0-c43b17abdeb9c13d2ceb83d309ed632a

prep dependency conf-gmp.5-ce56a397f57b2c226d96fdcb785de98e

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

prep dependency conf-pkg-config.4-b4349cf7232e6b66621e089f2b9beee5

prep dependency conf-zlib.1-ce56a397f57b2c226d96fdcb785de98e

prep dependency cppo.1.8.0-7bf556133b21b19dadc01140195b1cc4

prep dependency cryptokit.1.21.1-2d1d8a6e387360e215c249be7dce2220

prep dependency csexp.1.5.2-7bf556133b21b19dadc01140195b1cc4

prep dependency csv.2.4-c328bca5f939d13d188930ff00cb2fc8

prep dependency diffast-core.0.3.5.1-6bdebcff99104d82c7dee93e7775a563

prep dependency diffast-langs-common.0.3.5.1-157434fe109c9e8a4ee4d125349b9f47

prep dependency diffast-langs-verilog-parsing.0.3.5.1-4f964de6737e531ecd492d5a80394929

prep dependency diffast-langs-verilog-spec.0.3.5.1-43e07bc701016fcb71f059ddf074e1e4

prep dependency diffast-misc.0.3.5.1-233745328be2725c32dc57c44a734dad

prep dependency dune.3.21.0-3114aec9e7f412ca05476b1c25ff1eb5

prep dependency dune-configurator.3.21.0-94bc6afc463063758b64a11b9dac06a1

prep dependency dune-private-libs.3.21.0-5ac7f4bd0f366ada751f927d21b07db6

prep dependency dune-site.3.21.0-452e63b17413f22aefbb9d2dd201f9c7

prep dependency dyn.3.21.0-09ac7179aea93430a31cdf92acd0f80b

prep dependency fs-io.3.21.0-7bf556133b21b19dadc01140195b1cc4

prep dependency gen.1.1-05179af9ccd2b4a97c25eea212531bb9

prep dependency markup.1.0.3-f2dcae6e637676b924fa17f2900641c5

prep dependency menhir.20260122-bf032f9c4a130153dc6623e58c16f6fc

prep dependency menhirCST.20260122-7bf556133b21b19dadc01140195b1cc4

prep dependency menhirGLR.20260122-7bf556133b21b19dadc01140195b1cc4

prep dependency menhirLib.20260122-7bf556133b21b19dadc01140195b1cc4

prep dependency menhirSdk.20260122-7bf556133b21b19dadc01140195b1cc4

prep dependency ocaml.5.3.0-fa1e7b231be6d37a5e076747588e8a81

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

prep dependency ocaml-compiler.5.3.0-b4349cf7232e6b66621e089f2b9beee5

prep dependency ocaml-compiler-libs.v0.17.0-7bf556133b21b19dadc01140195b1cc4

prep dependency ocaml-config.3-593d62e54e3fb734e52be360ecf90b6d

prep dependency ocamlbuild.0.16.1-c43b17abdeb9c13d2ceb83d309ed632a

prep dependency ocamlfind.1.9.8-c43b17abdeb9c13d2ceb83d309ed632a

prep dependency ordering.3.21.0-7bf556133b21b19dadc01140195b1cc4

prep dependency pp.2.0.0-7bf556133b21b19dadc01140195b1cc4

prep dependency ppx_derivers.1.2.1-7bf556133b21b19dadc01140195b1cc4

prep dependency ppxlib.0.37.0-29c07e272d22a9208d248c94fa36575d

prep dependency sedlex.3.7-ba5f6fe1f0d5471ac4be7ca9ce6333de

prep dependency seq.base-c43b17abdeb9c13d2ceb83d309ed632a

prep dependency sexplib0.v0.17.0-7bf556133b21b19dadc01140195b1cc4

prep dependency stdlib-shims.0.3.0-7bf556133b21b19dadc01140195b1cc4

prep dependency stdune.3.21.0-345d861563a09e47728443e716fbce1d

prep dependency top-closure.3.21.0-7bf556133b21b19dadc01140195b1cc4

prep dependency topkg.1.1.1-7cabcdaa04003e3bada32f5f91de2242

prep dependency uchar.0.0.2-a99809781f43db3ff6326012114ffb00

prep dependency uuidm.0.9.10-17f982a249b9f883767ac4b4d61ca810

prep dependency uutf.1.0.4-17f982a249b9f883767ac4b4d61ca810

prep dependency vlt.0.2.5-a4cb2d478b8c0a9a240a94e37ada8dc5

prep dependency zarith.1.14-1cd9ac62aa3bdf3dc6c942cf067940ad