Package fstar

do-deps
active
do-compile
active

All universes

37302a5011f8e9f063066b78b2faceae

prep
- prep fstar.2022.01.15-37302a5011f8e9f063066b78b2faceae
  active
- prep dependency base-bytes.base-d4ebb238d973fd59b8df66c4669d9dad
  active
- prep dependency base-threads.base-5fb084374c1b9ffd0a585d632bd0045d
  active
- prep dependency base-unix.base-5fb084374c1b9ffd0a585d632bd0045d
  active
- prep dependency batteries.3.10.0-312644688c17dcc1fb38ac8a514ede56
  active
- prep dependency camlp-streams.5.0.1-c6813ae235aa2f171acf1582974c3c7c
  active
- prep dependency conf-c++.1.0-5fb084374c1b9ffd0a585d632bd0045d
  active
- prep dependency conf-gmp.5-7b889c44c21a0a35c14a6b721444fbb7
  active
- prep dependency conf-pkg-config.4-5fb084374c1b9ffd0a585d632bd0045d
  active
- prep dependency conf-python-2-7.1.2-5fb084374c1b9ffd0a585d632bd0045d
  active
- prep dependency cppo.1.8.0-c6813ae235aa2f171acf1582974c3c7c
  active
- prep dependency dune.3.21.0-cd2ef06f6359633cf5b81e9e67a1258a
  active
- prep dependency fileutils.0.6.4-48706ed5638feb23c8eb9d47aae8a2ff
  active
- prep dependency gen.1.1-9643fbef0d415f00df1be60b489468a4
  active
- prep dependency menhir.20260122-9ab9c013c4dc3afb17cd81776b10a95d
  active
- prep dependency menhirCST.20260122-c6813ae235aa2f171acf1582974c3c7c
  active
- prep dependency menhirGLR.20260122-c6813ae235aa2f171acf1582974c3c7c
  active
- prep dependency menhirLib.20260122-c6813ae235aa2f171acf1582974c3c7c
  active
- prep dependency menhirSdk.20260122-c6813ae235aa2f171acf1582974c3c7c
  active
- prep dependency num.1.6-30b85a1775ede208fe31dd0ba160e435
  active
- prep dependency ocaml.4.12.1-751db0dcba330297be6dee35d87fc989
  active
- prep dependency ocaml-base-compiler.4.12.1-5fb084374c1b9ffd0a585d632bd0045d
  active
- prep dependency ocaml-compiler-libs.v0.12.4-c6813ae235aa2f171acf1582974c3c7c
  active
- prep dependency ocaml-config.2-583685410e65b72492ca2db46f687177
  active
- prep dependency ocamlbuild.0.16.1-30b85a1775ede208fe31dd0ba160e435
  active
- prep dependency ocamlfind.1.9.8-30b85a1775ede208fe31dd0ba160e435
  active
- prep dependency pprint.20230830-c6813ae235aa2f171acf1582974c3c7c
  active
- prep dependency ppx_derivers.1.2.1-c6813ae235aa2f171acf1582974c3c7c
  active
- prep dependency ppx_deriving.5.2.1-5b91a8268cf7986add6faa02096d745c
  active
- prep dependency ppx_deriving_yojson.3.6.1-ecdfc76a74a9d3860db3b9ae41482a51
  active
- prep dependency ppxlib.0.25.1-c2281c381cf85d3b45be453ef296fad5
  active
- prep dependency process.0.2.1-2c69e88296ea4f3bc1890aeb43b5156d
  active
- prep dependency result.1.5-c6813ae235aa2f171acf1582974c3c7c
  active
- prep dependency sedlex.2.5-0115508240b22ee50055f2e1e918205f
  active
- prep dependency seq.base-30b85a1775ede208fe31dd0ba160e435
  active
- prep dependency sexplib0.v0.16.0-c6813ae235aa2f171acf1582974c3c7c
  active
- prep dependency stdint.0.7.2-c6813ae235aa2f171acf1582974c3c7c
  active
- prep dependency stdlib-shims.0.3.0-c6813ae235aa2f171acf1582974c3c7c
  active
- prep dependency uchar.0.0.2-b117c6c488cbd25a104299a58dbf78fe
  active
- prep dependency yojson.3.0.0-c6813ae235aa2f171acf1582974c3c7c
  active
- prep dependency z3.4.8.5-b8a4e7350856322853f1d72494f90dea
  active
- prep dependency zarith.1.14-ed41b0d20dc647c428f82a54d2ccd8d0
  active

d102557d786744a9211830b094c368eb

prep
- prep fstar.2022.01.15-d102557d786744a9211830b094c368eb
  active
- prep dependency base-bytes.base-4f16305b6ce54573e7e99aa6581886eb
  active
- prep dependency base-threads.base-95f56fcf1da5300e1109d0aa6ba92aed
  active
- prep dependency base-unix.base-95f56fcf1da5300e1109d0aa6ba92aed
  active
- prep dependency batteries.3.10.0-011f86b7ef4a46c70e89e5a44ed26d82
  active
- prep dependency camlp-streams.5.0.1-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency conf-c++.1.0-95f56fcf1da5300e1109d0aa6ba92aed
  active
- prep dependency conf-gmp.5-dbfcb815aeb4bf0fd3cd8629e55225c8
  active
- prep dependency conf-pkg-config.4-95f56fcf1da5300e1109d0aa6ba92aed
  active
- prep dependency conf-python-2-7.1.2-95f56fcf1da5300e1109d0aa6ba92aed
  active
- prep dependency cppo.1.8.0-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency dune.3.21.0-ebfbf2a49c873ae1898683b3e8cd3ae7
  active
- prep dependency fileutils.0.6.6-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency gen.1.1-e923022c278b167c149034fe8115cadd
  active
- prep dependency menhir.20260122-bc107f95421197dd46ec1f64565ec2ee
  active
- prep dependency menhirCST.20260122-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency menhirGLR.20260122-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency menhirLib.20260122-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency menhirSdk.20260122-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency num.1.6-8ec2c08a7515b28a7e25f6bb987b2a4f
  active
- prep dependency ocaml.4.14.2-906334fd2e017db19ce5f851d5121f74
  active
- prep dependency ocaml-base-compiler.4.14.2-95f56fcf1da5300e1109d0aa6ba92aed
  active
- prep dependency ocaml-compiler-libs.v0.12.4-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency ocaml-config.2-56a469ab35eda9a278ea08e63ba34a78
  active
- prep dependency ocamlbuild.0.16.1-8ec2c08a7515b28a7e25f6bb987b2a4f
  active
- prep dependency ocamlfind.1.9.8-8ec2c08a7515b28a7e25f6bb987b2a4f
  active
- prep dependency pprint.20230830-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency ppx_derivers.1.2.1-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency ppx_deriving.5.2.1-333a6bbb89baff21525ce1b3b8ede047
  active
- prep dependency ppx_deriving_yojson.3.6.1-27d9f73715f6aa38fbaab160039b0bb5
  active
- prep dependency ppxlib.0.25.1-228a6b021d2bb90a8f5d2421ed4c35f5
  active
- prep dependency process.0.2.1-7ddcf70cc839fdbab4318eb684d8e530
  active
- prep dependency result.1.5-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency sedlex.2.5-e1931b0578f25594a3157cc4870030ae
  active
- prep dependency seq.base-8ec2c08a7515b28a7e25f6bb987b2a4f
  active
- prep dependency sexplib0.v0.17.0-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency stdint.0.7.2-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency stdlib-shims.0.3.0-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency uchar.0.0.2-139d085fff0b666a72c51cb973d96995
  active
- prep dependency yojson.3.0.0-c30634679d9ecf8fcceb33f67cd4dde1
  active
- prep dependency z3.4.8.5-3e0f4482ea96aede721e39507194362b
  active
- prep dependency zarith.1.14-099d35220a6b261d02e21c2b8740797e
  active

Package fstar

do-deps

do-compile

All universes

37302a5011f8e9f063066b78b2faceae

prep

prep fstar.2022.01.15-37302a5011f8e9f063066b78b2faceae

prep dependency base-bytes.base-d4ebb238d973fd59b8df66c4669d9dad

prep dependency base-threads.base-5fb084374c1b9ffd0a585d632bd0045d

prep dependency base-unix.base-5fb084374c1b9ffd0a585d632bd0045d

prep dependency batteries.3.10.0-312644688c17dcc1fb38ac8a514ede56

prep dependency camlp-streams.5.0.1-c6813ae235aa2f171acf1582974c3c7c

prep dependency conf-c++.1.0-5fb084374c1b9ffd0a585d632bd0045d

prep dependency conf-gmp.5-7b889c44c21a0a35c14a6b721444fbb7

prep dependency conf-pkg-config.4-5fb084374c1b9ffd0a585d632bd0045d

prep dependency conf-python-2-7.1.2-5fb084374c1b9ffd0a585d632bd0045d

prep dependency cppo.1.8.0-c6813ae235aa2f171acf1582974c3c7c

prep dependency dune.3.21.0-cd2ef06f6359633cf5b81e9e67a1258a

prep dependency fileutils.0.6.4-48706ed5638feb23c8eb9d47aae8a2ff

prep dependency gen.1.1-9643fbef0d415f00df1be60b489468a4

prep dependency menhir.20260122-9ab9c013c4dc3afb17cd81776b10a95d

prep dependency menhirCST.20260122-c6813ae235aa2f171acf1582974c3c7c

prep dependency menhirGLR.20260122-c6813ae235aa2f171acf1582974c3c7c

prep dependency menhirLib.20260122-c6813ae235aa2f171acf1582974c3c7c

prep dependency menhirSdk.20260122-c6813ae235aa2f171acf1582974c3c7c

prep dependency num.1.6-30b85a1775ede208fe31dd0ba160e435

prep dependency ocaml.4.12.1-751db0dcba330297be6dee35d87fc989

prep dependency ocaml-base-compiler.4.12.1-5fb084374c1b9ffd0a585d632bd0045d

prep dependency ocaml-compiler-libs.v0.12.4-c6813ae235aa2f171acf1582974c3c7c

prep dependency ocaml-config.2-583685410e65b72492ca2db46f687177

prep dependency ocamlbuild.0.16.1-30b85a1775ede208fe31dd0ba160e435

prep dependency ocamlfind.1.9.8-30b85a1775ede208fe31dd0ba160e435

prep dependency pprint.20230830-c6813ae235aa2f171acf1582974c3c7c

prep dependency ppx_derivers.1.2.1-c6813ae235aa2f171acf1582974c3c7c

prep dependency ppx_deriving.5.2.1-5b91a8268cf7986add6faa02096d745c

prep dependency ppx_deriving_yojson.3.6.1-ecdfc76a74a9d3860db3b9ae41482a51

prep dependency ppxlib.0.25.1-c2281c381cf85d3b45be453ef296fad5

prep dependency process.0.2.1-2c69e88296ea4f3bc1890aeb43b5156d

prep dependency result.1.5-c6813ae235aa2f171acf1582974c3c7c

prep dependency sedlex.2.5-0115508240b22ee50055f2e1e918205f

prep dependency seq.base-30b85a1775ede208fe31dd0ba160e435

prep dependency sexplib0.v0.16.0-c6813ae235aa2f171acf1582974c3c7c

prep dependency stdint.0.7.2-c6813ae235aa2f171acf1582974c3c7c

prep dependency stdlib-shims.0.3.0-c6813ae235aa2f171acf1582974c3c7c

prep dependency uchar.0.0.2-b117c6c488cbd25a104299a58dbf78fe

prep dependency yojson.3.0.0-c6813ae235aa2f171acf1582974c3c7c

prep dependency z3.4.8.5-b8a4e7350856322853f1d72494f90dea

prep dependency zarith.1.14-ed41b0d20dc647c428f82a54d2ccd8d0

d102557d786744a9211830b094c368eb

prep

prep fstar.2022.01.15-d102557d786744a9211830b094c368eb

prep dependency base-bytes.base-4f16305b6ce54573e7e99aa6581886eb

prep dependency base-threads.base-95f56fcf1da5300e1109d0aa6ba92aed

prep dependency base-unix.base-95f56fcf1da5300e1109d0aa6ba92aed

prep dependency batteries.3.10.0-011f86b7ef4a46c70e89e5a44ed26d82

prep dependency camlp-streams.5.0.1-c30634679d9ecf8fcceb33f67cd4dde1

prep dependency conf-c++.1.0-95f56fcf1da5300e1109d0aa6ba92aed

prep dependency conf-gmp.5-dbfcb815aeb4bf0fd3cd8629e55225c8

prep dependency conf-pkg-config.4-95f56fcf1da5300e1109d0aa6ba92aed

prep dependency conf-python-2-7.1.2-95f56fcf1da5300e1109d0aa6ba92aed

prep dependency cppo.1.8.0-c30634679d9ecf8fcceb33f67cd4dde1

prep dependency dune.3.21.0-ebfbf2a49c873ae1898683b3e8cd3ae7

prep dependency fileutils.0.6.6-c30634679d9ecf8fcceb33f67cd4dde1

prep dependency gen.1.1-e923022c278b167c149034fe8115cadd

prep dependency menhir.20260122-bc107f95421197dd46ec1f64565ec2ee

prep dependency menhirCST.20260122-c30634679d9ecf8fcceb33f67cd4dde1

prep dependency menhirGLR.20260122-c30634679d9ecf8fcceb33f67cd4dde1

prep dependency menhirLib.20260122-c30634679d9ecf8fcceb33f67cd4dde1

prep dependency menhirSdk.20260122-c30634679d9ecf8fcceb33f67cd4dde1

prep dependency num.1.6-8ec2c08a7515b28a7e25f6bb987b2a4f

prep dependency ocaml.4.14.2-906334fd2e017db19ce5f851d5121f74

prep dependency ocaml-base-compiler.4.14.2-95f56fcf1da5300e1109d0aa6ba92aed

prep dependency ocaml-compiler-libs.v0.12.4-c30634679d9ecf8fcceb33f67cd4dde1

prep dependency ocaml-config.2-56a469ab35eda9a278ea08e63ba34a78

prep dependency ocamlbuild.0.16.1-8ec2c08a7515b28a7e25f6bb987b2a4f

prep dependency ocamlfind.1.9.8-8ec2c08a7515b28a7e25f6bb987b2a4f

prep dependency pprint.20230830-c30634679d9ecf8fcceb33f67cd4dde1

prep dependency ppx_derivers.1.2.1-c30634679d9ecf8fcceb33f67cd4dde1

prep dependency ppx_deriving.5.2.1-333a6bbb89baff21525ce1b3b8ede047

prep dependency ppx_deriving_yojson.3.6.1-27d9f73715f6aa38fbaab160039b0bb5