Verification of stateful processes (via Proverif)
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/statverif/default.nixBlocking dependencies
Direct dependencies
bash-5.2p37ocaml-4.14.2proverif-1.86pl4-statverif-2657ab4.patchproverif1.86pl4.tar.gzstdenv-linuxSelected dependents
None recorded.