Computer-Aided Cryptographic Proofs
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/applications/science/logic/easycrypt/default.nixBlocking dependencies
Direct dependencies
bash-5.2p37dune-3.18.2ocaml-5.3.0ocaml5.3.0-batteries-3.9.0ocaml5.3.0-dune-build-info-3.18.2ocaml5.3.0-dune-site-3.18.2ocaml5.3.0-findlib-1.9.8ocaml5.3.0-inifiles-1.2ocaml5.3.0-menhir-20240715ocaml5.3.0-yojson-2.2.2ocaml5.3.0-zarith-1.14python3.12-pyyaml-6.0.2sourcestdenv-linuxwhy3-1.8.2wrap-python-hookSelected dependents
None recorded.