filnix.pausedLive log

clprover

1.0.3FailedDependencies →

Ordered resolution based theorem prover for Coalition Logic

Build failed; an explicit retry is required.

Failure log · 13 Sep 22:04 · This campaign

Planning log · 13 Sep 21:29 · This campaign

pkgs/by-name/cl/clprover/package.nix

Direct dependencies

bash-5.2p37 filc-cc-wrapper-source stdenv-linux

Selected dependents

None recorded.