Hydra failures for packages maintained by vbgl

Jump to: Direct Failures • Indirect Failures

Direct failures

These are packages fail to build themselves.

AttributeJob namePlatformResult
nixpkgs.bluefish.aarch64-linuxbluefish-2.2.16aarch64-linuxFailed
nixpkgs.bluefish.x86_64-linuxbluefish-2.2.16x86_64-linuxFailed
nixpkgs.cvc4.aarch64-darwincvc4-1.8aarch64-darwinFailed
nixpkgs.cvc4.x86_64-darwincvc4-1.8x86_64-darwinFailed
nixpkgs.hop.aarch64-linuxhop-3.4.4aarch64-linuxFailed
nixpkgs.hop.x86_64-linuxhop-3.4.4x86_64-linuxFailed

Jump to: Direct Failures • Indirect Failures

Indirect failures

These are packages where a dependency failed to build.

AttributeJob namePlatformResult
nixpkgs.coq_8_5.x86_64-darwincoq-8.5pl3x86_64-darwinDependency failed
nixpkgs.coq_8_6.x86_64-darwincoq-8.6.1x86_64-darwinDependency failed