Logic proof assistant
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/tw/twelf/package.nixBlocking dependencies
Direct dependencies
7b3f3dbb8b8ec8d16d843875fce1e2bd6a50e3ae.patchbash-5.2p37rsync-3.4.1smlnj-110.99.7.1stdenv-linuxtwelf-src-1.7.1.tar.gzx86_64-unknown-linux-gnufilc0-pkg-config-wrapper-0.29.2Selected dependents
None recorded.