Tableaux-based reasoner for expressive Description Logics (DL)
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/fa/factplusplus/package.nixBlocking dependencies
Direct dependencies
bash-5.2p37openjdk-21.0.8+9sourcestdenv-linuxSelected dependents
None recorded.