Efficient implementation of the Lambda Prolog language
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/development/compilers/teyjus/default.nixBlocking dependencies
Direct dependencies
bash-5.2p37bison-3.8.2dune-3.18.2flex-2.6.4ocaml-4.14.2ocaml4.14.2-findlib-1.9.8sourcestdenv-linuxSelected dependents
None recorded.