Jump to: Direct Failures • Indirect Failures
These are packages fail to build themselves.
Attribute | Job name | Platform | Result |
---|---|---|---|
nixpkgs.bluefish.aarch64-linux | bluefish-2.2.16 | aarch64-linux | Failed |
nixpkgs.bluefish.x86_64-linux | bluefish-2.2.16 | x86_64-linux | Failed |
nixpkgs.cvc4.aarch64-darwin | cvc4-1.8 | aarch64-darwin | Failed |
nixpkgs.cvc4.x86_64-darwin | cvc4-1.8 | x86_64-darwin | Failed |
nixpkgs.hop.aarch64-linux | hop-3.4.4 | aarch64-linux | Failed |
nixpkgs.hop.x86_64-linux | hop-3.4.4 | x86_64-linux | Failed |
Jump to: Direct Failures • Indirect Failures
These are packages where a dependency failed to build.
Attribute | Job name | Platform | Result |
---|---|---|---|
nixpkgs.coq_8_5.x86_64-darwin | coq-8.5pl3 | x86_64-darwin | Dependency failed |
nixpkgs.coq_8_6.x86_64-darwin | coq-8.6.1 | x86_64-darwin | Dependency failed |