Package diffast-langs-verilog-spec

do-deps
active
do-compile
active

All universes

27e4266b42b06ddc9e7f37e3e74a7d9d

prep
- prep diffast-langs-verilog-spec.0.4-27e4266b42b06ddc9e7f37e3e74a7d9d
  active
- prep dependency b0.0.0.6-fe1768b2bf36f5ae917ee0eea5dd0faa
  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-c535a740c816cafaaed615d93b736b33
  active
- prep dependency bytesrw.0.3.0-30499d684de16128cd7d0e63e06fb994
  active
- prep dependency camlp-streams.5.0.1-c535a740c816cafaaed615d93b736b33
  active
- prep dependency cmdliner.2.1.1-7d8ef1b481069521916197c29ef4a3c9
  active
- prep dependency conf-gmp.5-06984cee456d0c82a019200c6c81e20e
  active
- prep dependency conf-gmp-powm-sec.4-181bc7fce9c669716e277c46ec34d518
  active
- prep dependency conf-pkg-config.5-431006b7798dde30d7728c5df9bb0948
  active
- prep dependency conf-zlib.1-06984cee456d0c82a019200c6c81e20e
  active
- prep dependency cppo.1.8.0-c535a740c816cafaaed615d93b736b33
  active
- prep dependency cryptokit.1.21.1-3dd3136159efde89cf18117fdb22e3c0
  active
- prep dependency csexp.1.5.2-c535a740c816cafaaed615d93b736b33
  active
- prep dependency csv.2.4-637a56d9590b9a2afed88fa87c2463cb
  active
- prep dependency diffast-core.0.4-fc5eca47882519f90f8f9d05dfae8602
  active
- prep dependency diffast-misc.0.4-e69ffa5162a997888954c3046919c4c5
  active
- prep dependency dune.3.23.1-01cb096815ba24d0001a4d55238d7e43
  active
- prep dependency dune-configurator.3.23.1-8cb9d7b470428616fef20c8cf0520f7d
  active
- prep dependency dune-private-libs.3.23.1-0b5740bb89356e1a7cc8e83480239e2d
  active
- prep dependency dune-site.3.23.1-5a3e3e5f49eb24668ee7aa1959e4b561
  active
- prep dependency dyn.3.23.1-1dafa3041596be31b8ec4827db0e0c06
  active
- prep dependency fs-io.3.23.1-c535a740c816cafaaed615d93b736b33
  active
- prep dependency gen.1.1-8a53892415baaff56ec4e9462573777f
  active
- prep dependency markup.1.0.3-df2249091219945b08744f11169d08d6
  active
- prep dependency menhir.20260209-b3b3d3165da127ec1c727486c0ffbc98
  active
- prep dependency menhirCST.20260209-c535a740c816cafaaed615d93b736b33
  active
- prep dependency menhirGLR.20260209-c535a740c816cafaaed615d93b736b33
  active
- prep dependency menhirLib.20260209-c535a740c816cafaaed615d93b736b33
  active
- prep dependency menhirSdk.20260209-c535a740c816cafaaed615d93b736b33
  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-c535a740c816cafaaed615d93b736b33
  active
- prep dependency ocaml-config.3-2edf3983b037899d231c875fdd476b20
  active
- prep dependency ocamlbuild.0.16.1-7d8ef1b481069521916197c29ef4a3c9
  active
- prep dependency ocamlfind.1.9.8-7d8ef1b481069521916197c29ef4a3c9
  active
- prep dependency ordering.3.23.1-c535a740c816cafaaed615d93b736b33
  active
- prep dependency pp.2.0.0-c535a740c816cafaaed615d93b736b33
  active
- prep dependency ppx_derivers.1.2.1-c535a740c816cafaaed615d93b736b33
  active
- prep dependency ppxlib.0.38.0-11d20a5a7946f44ed7d515a39e697ad7
  active
- prep dependency sedlex.3.7-104a775570aaf1bae60ea1e5aa03f101
  active
- prep dependency seq.base-7d8ef1b481069521916197c29ef4a3c9
  active
- prep dependency sexplib0.v0.17.0-c535a740c816cafaaed615d93b736b33
  active
- prep dependency stdlib-shims.0.3.0-c535a740c816cafaaed615d93b736b33
  active
- prep dependency stdune.3.23.1-6298df383e955475b34eec012efd88dd
  active
- prep dependency top-closure.3.23.1-c535a740c816cafaaed615d93b736b33
  active
- prep dependency topkg.1.1.1-8c290acd978593e6c7831161982ea15f
  active
- prep dependency uchar.0.0.2-539c3d6ed4c5ee2e3f36e910cc0b6095
  active
- prep dependency uuidm.0.9.10-fe1768b2bf36f5ae917ee0eea5dd0faa
  active
- prep dependency uutf.1.0.4-fe1768b2bf36f5ae917ee0eea5dd0faa
  active
- prep dependency vlt.0.2.5-27aea8a4f92bb8aa6d821ab513891e1a
  active
- prep dependency zarith.1.14-df422887e2a1232adb262a174384082d
  active

Package diffast-langs-verilog-spec

do-deps

do-compile

All universes

27e4266b42b06ddc9e7f37e3e74a7d9d

prep

prep diffast-langs-verilog-spec.0.4-27e4266b42b06ddc9e7f37e3e74a7d9d

prep dependency b0.0.0.6-fe1768b2bf36f5ae917ee0eea5dd0faa

prep dependency base-bytes.base-28082cac47e9b5382415215115e44c94

prep dependency base-threads.base-431006b7798dde30d7728c5df9bb0948

prep dependency base-unix.base-431006b7798dde30d7728c5df9bb0948

prep dependency base64.3.5.2-c535a740c816cafaaed615d93b736b33

prep dependency bytesrw.0.3.0-30499d684de16128cd7d0e63e06fb994

prep dependency camlp-streams.5.0.1-c535a740c816cafaaed615d93b736b33

prep dependency cmdliner.2.1.1-7d8ef1b481069521916197c29ef4a3c9

prep dependency conf-gmp.5-06984cee456d0c82a019200c6c81e20e

prep dependency conf-gmp-powm-sec.4-181bc7fce9c669716e277c46ec34d518

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

prep dependency conf-zlib.1-06984cee456d0c82a019200c6c81e20e

prep dependency cppo.1.8.0-c535a740c816cafaaed615d93b736b33

prep dependency cryptokit.1.21.1-3dd3136159efde89cf18117fdb22e3c0

prep dependency csexp.1.5.2-c535a740c816cafaaed615d93b736b33

prep dependency csv.2.4-637a56d9590b9a2afed88fa87c2463cb

prep dependency diffast-core.0.4-fc5eca47882519f90f8f9d05dfae8602

prep dependency diffast-misc.0.4-e69ffa5162a997888954c3046919c4c5

prep dependency dune.3.23.1-01cb096815ba24d0001a4d55238d7e43

prep dependency dune-configurator.3.23.1-8cb9d7b470428616fef20c8cf0520f7d

prep dependency dune-private-libs.3.23.1-0b5740bb89356e1a7cc8e83480239e2d

prep dependency dune-site.3.23.1-5a3e3e5f49eb24668ee7aa1959e4b561

prep dependency dyn.3.23.1-1dafa3041596be31b8ec4827db0e0c06

prep dependency fs-io.3.23.1-c535a740c816cafaaed615d93b736b33

prep dependency gen.1.1-8a53892415baaff56ec4e9462573777f

prep dependency markup.1.0.3-df2249091219945b08744f11169d08d6

prep dependency menhir.20260209-b3b3d3165da127ec1c727486c0ffbc98

prep dependency menhirCST.20260209-c535a740c816cafaaed615d93b736b33

prep dependency menhirGLR.20260209-c535a740c816cafaaed615d93b736b33

prep dependency menhirLib.20260209-c535a740c816cafaaed615d93b736b33

prep dependency menhirSdk.20260209-c535a740c816cafaaed615d93b736b33

prep dependency ocaml.5.4.0-700c7e2fead6b639c37f02742ab5c8a7

prep dependency ocaml-base-compiler.5.4.0-fa47b4b8cb10bdb7c95ca0f933d2def6

prep dependency ocaml-compiler.5.4.0-431006b7798dde30d7728c5df9bb0948

prep dependency ocaml-compiler-libs.v0.17.0-c535a740c816cafaaed615d93b736b33

prep dependency ocaml-config.3-2edf3983b037899d231c875fdd476b20

prep dependency ocamlbuild.0.16.1-7d8ef1b481069521916197c29ef4a3c9

prep dependency ocamlfind.1.9.8-7d8ef1b481069521916197c29ef4a3c9

prep dependency ordering.3.23.1-c535a740c816cafaaed615d93b736b33

prep dependency pp.2.0.0-c535a740c816cafaaed615d93b736b33

prep dependency ppx_derivers.1.2.1-c535a740c816cafaaed615d93b736b33

prep dependency ppxlib.0.38.0-11d20a5a7946f44ed7d515a39e697ad7

prep dependency sedlex.3.7-104a775570aaf1bae60ea1e5aa03f101

prep dependency seq.base-7d8ef1b481069521916197c29ef4a3c9

prep dependency sexplib0.v0.17.0-c535a740c816cafaaed615d93b736b33

prep dependency stdlib-shims.0.3.0-c535a740c816cafaaed615d93b736b33

prep dependency stdune.3.23.1-6298df383e955475b34eec012efd88dd

prep dependency top-closure.3.23.1-c535a740c816cafaaed615d93b736b33

prep dependency topkg.1.1.1-8c290acd978593e6c7831161982ea15f

prep dependency uchar.0.0.2-539c3d6ed4c5ee2e3f36e910cc0b6095

prep dependency uuidm.0.9.10-fe1768b2bf36f5ae917ee0eea5dd0faa

prep dependency uutf.1.0.4-fe1768b2bf36f5ae917ee0eea5dd0faa

prep dependency vlt.0.2.5-27aea8a4f92bb8aa6d821ab513891e1a

prep dependency zarith.1.14-df422887e2a1232adb262a174384082d