Hydra failures for packages maintained by kiniHydra failures for packages maintained by kiniJump to: Direct Failures • Indirect Failures
These are packages fail to build themselves.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| nixpkgs.acl2-minimal.aarch64-linux | acl2-8.6 | aarch64-linux | Failed |
Jump to: Direct Failures • Indirect Failures
These are packages where a dependency failed to build.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| nixpkgs.acl2-minimal.x86_64-darwin | acl2-8.6 | x86_64-darwin | Dependency failed |