Hydra failures for packages maintained by ptival

Jump to: Direct Failures • Indirect Failures

Direct failures

These are packages fail to build themselves.

None 🎉
AttributeJob namePlatformResult

Jump to: Direct Failures • Indirect Failures

Indirect failures

These are packages where a dependency failed to build.

AttributeJob namePlatformResult
coqPackages.coq-bitscoq8.15-coq-bits-1.1.0x86_64-darwinDependency failed
coqPackages.coq-bitscoq8.15-coq-bits-1.1.0aarch64-darwinDependency failed
coqPackages.coq-ext-libcoq8.15-coq-ext-lib-0.11.6x86_64-darwinDependency failed
coqPackages.coq-ext-libcoq8.15-coq-ext-lib-0.11.6aarch64-darwinDependency failed
coqPackages.pacocoq8.15-paco-4.1.2x86_64-darwinDependency failed
coqPackages.pacocoq8.15-paco-4.1.2aarch64-darwinDependency failed