ML-like functional programming language aimed at program verification
Blocked by failed dependencies; not queued for a build.
No build output for this package in this campaign. Open a dependency's failure log below.
Planning log · · This campaign
pkgs/by-name/fs/fstar/package.nixBlocking dependencies
ocaml-5.3.0
Compilation or linking failed
Failure log · · This campaign
Via ocaml4.14.2-mtime-2.1.0 → opaline-0.3.3 → ocaml5.3.0-opam-file-format-2.1.6
Direct dependencies
bash-5.2p37dune-3.18.2fstar-z3install-shell-filesmake-shell-wrapper-hookocaml-4.14.2ocaml4.14.2-batteries-3.9.0ocaml4.14.2-findlib-1.9.8ocaml4.14.2-memtrace-0.2.3ocaml4.14.2-menhir-20240715ocaml4.14.2-menhirLib-20240715ocaml4.14.2-mtime-2.1.0ocaml4.14.2-pprint-20230830ocaml4.14.2-ppx_deriving-6.0.3ocaml4.14.2-ppx_deriving_yojson-3.9.0ocaml4.14.2-ppxlib-0.33.0ocaml4.14.2-process-0.2.1ocaml4.14.2-sedlex-3.4ocaml4.14.2-stdint-0.7.2ocaml4.14.2-yojson-2.2.2ocaml4.14.2-zarith-1.14remove-references-tosourcestdenv-linuxutil-linux-2.41.1which-2.23Selected dependents
None recorded.