Package fstar

do-deps
active
do-compile
active

All universes

eb30ab0ce59a21ce9d63132f6423b12e

prep
- prep fstar.2025.10.06-eb30ab0ce59a21ce9d63132f6423b12e
  active
- prep dependency base-bytes.base-01fc533ed95ac82553675e47931f9e46
  active
- prep dependency base-threads.base-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency base-unix.base-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency batteries.3.10.0-16da3dd657fea2b56a1c8303ac428914
  active
- prep dependency camlp-streams.5.0.1-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency conf-gmp.5-ce56a397f57b2c226d96fdcb785de98e
  active
- prep dependency conf-pkg-config.4-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency cppo.1.8.0-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency dune.3.21.0-3114aec9e7f412ca05476b1c25ff1eb5
  active
- prep dependency gen.1.1-05179af9ccd2b4a97c25eea212531bb9
  active
- prep dependency memtrace.0.2.3-7bf556133b21b19dadc01140195b1cc4
  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 mtime.2.1.0-8acffd39fa129f44b33d7447963262b1
  active
- prep dependency num.1.6-c43b17abdeb9c13d2ceb83d309ed632a
  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 pprint.20230830-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency ppx_derivers.1.2.1-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency ppx_deriving.6.1.1-08c6c62e48df191edfb47e8c6d11c08c
  active
- prep dependency ppx_deriving_yojson.3.10.0-bd2c36dd3ad54facdd74d46b70275f0f
  active
- prep dependency ppxlib.0.37.0-29c07e272d22a9208d248c94fa36575d
  active
- prep dependency process.0.2.1-d5e4e8bd353ebfffcab737d1adf164aa
  active
- prep dependency sedlex.3.7-ba5f6fe1f0d5471ac4be7ca9ce6333de
  active
- prep dependency seq.base-c43b17abdeb9c13d2ceb83d309ed632a
  active
- prep dependency sexplib0.v0.17.0-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency stdint.0.7.2-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency stdlib-shims.0.3.0-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency topkg.1.1.1-7cabcdaa04003e3bada32f5f91de2242
  active
- prep dependency yojson.3.0.0-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency zarith.1.14-1cd9ac62aa3bdf3dc6c942cf067940ad
  active

Package fstar

do-deps

do-compile

All universes

eb30ab0ce59a21ce9d63132f6423b12e

prep

prep fstar.2025.10.06-eb30ab0ce59a21ce9d63132f6423b12e

prep dependency base-bytes.base-01fc533ed95ac82553675e47931f9e46

prep dependency base-threads.base-b4349cf7232e6b66621e089f2b9beee5

prep dependency base-unix.base-b4349cf7232e6b66621e089f2b9beee5

prep dependency batteries.3.10.0-16da3dd657fea2b56a1c8303ac428914

prep dependency camlp-streams.5.0.1-7bf556133b21b19dadc01140195b1cc4

prep dependency conf-gmp.5-ce56a397f57b2c226d96fdcb785de98e

prep dependency conf-pkg-config.4-b4349cf7232e6b66621e089f2b9beee5

prep dependency cppo.1.8.0-7bf556133b21b19dadc01140195b1cc4

prep dependency dune.3.21.0-3114aec9e7f412ca05476b1c25ff1eb5

prep dependency gen.1.1-05179af9ccd2b4a97c25eea212531bb9

prep dependency memtrace.0.2.3-7bf556133b21b19dadc01140195b1cc4

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 mtime.2.1.0-8acffd39fa129f44b33d7447963262b1

prep dependency num.1.6-c43b17abdeb9c13d2ceb83d309ed632a

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 pprint.20230830-7bf556133b21b19dadc01140195b1cc4

prep dependency ppx_derivers.1.2.1-7bf556133b21b19dadc01140195b1cc4

prep dependency ppx_deriving.6.1.1-08c6c62e48df191edfb47e8c6d11c08c

prep dependency ppx_deriving_yojson.3.10.0-bd2c36dd3ad54facdd74d46b70275f0f

prep dependency ppxlib.0.37.0-29c07e272d22a9208d248c94fa36575d

prep dependency process.0.2.1-d5e4e8bd353ebfffcab737d1adf164aa

prep dependency sedlex.3.7-ba5f6fe1f0d5471ac4be7ca9ce6333de

prep dependency seq.base-c43b17abdeb9c13d2ceb83d309ed632a

prep dependency sexplib0.v0.17.0-7bf556133b21b19dadc01140195b1cc4

prep dependency stdint.0.7.2-7bf556133b21b19dadc01140195b1cc4

prep dependency stdlib-shims.0.3.0-7bf556133b21b19dadc01140195b1cc4

prep dependency topkg.1.1.1-7cabcdaa04003e3bada32f5f91de2242

prep dependency yojson.3.0.0-7bf556133b21b19dadc01140195b1cc4

prep dependency zarith.1.14-1cd9ac62aa3bdf3dc6c942cf067940ad