Functional language for reasoning about formal systems
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/be/beluga/package.nixBlocking dependencies
Direct dependencies
bash-5.2p37dune-3.18.2ocaml-5.3.0ocaml5.3.0-dune-build-info-3.18.2ocaml5.3.0-extlib-1.8.0ocaml5.3.0-findlib-1.9.8ocaml5.3.0-gen-1.1ocaml5.3.0-linenoise-1.5.1ocaml5.3.0-omd-1.3.2ocaml5.3.0-ounit2-2.2.7ocaml5.3.0-sedlex-3.4ocaml5.3.0-uri-4.4.0ocaml5.3.0-yojson-2.2.2sourcestdenv-linuxSelected dependents
None recorded.