Hydra failures for packages maintained by vbgl

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
coqcoq-8.15.2aarch64-darwinDependency failed
coqcoq-8.15.2x86_64-darwinDependency failed
coq_8_10coq-8.10.2aarch64-darwinDependency failed
coq_8_15coq-8.15.2x86_64-darwinDependency failed
coq_8_15coq-8.15.2aarch64-darwinDependency failed
coq_8_7coq-8.7.2aarch64-darwinDependency failed
coq_8_8coq-8.8.2aarch64-darwinDependency failed
coq_8_9coq-8.9.1aarch64-darwinDependency failed
coqPackages.coqcoq-8.15.2aarch64-darwinDependency failed
coqPackages.coqcoq-8.15.2x86_64-darwinDependency failed
coqPackages.coqhammercoq8.15-coqhammer-1.3.2-coq8.15x86_64-darwinDependency failed
coqPackages.coqhammercoq8.15-coqhammer-1.3.2-coq8.15aarch64-darwinDependency failed
coqPackages.coqprimecoq8.15-coqprime-8.15aarch64-darwinDependency failed
coqPackages.coqprimecoq8.15-coqprime-8.15x86_64-darwinDependency failed
coqPackages.coquelicotcoq8.15-coquelicot-3.2.0aarch64-darwinDependency failed
coqPackages.coquelicotcoq8.15-coquelicot-3.2.0x86_64-darwinDependency failed
coqPackages.corncoq8.15-corn-8.13.0x86_64-darwinDependency failed
coqPackages.corncoq8.15-corn-8.13.0aarch64-darwinDependency failed
coqPackages.derivingcoq8.15-deriving-0.1.0aarch64-darwinDependency failed
coqPackages.derivingcoq8.15-deriving-0.1.0x86_64-darwinDependency failed
coqPackages.dpdgraphcoq8.15-dpdgraph-1.0+8.15aarch64-darwinDependency failed
coqPackages.dpdgraphcoq8.15-dpdgraph-1.0+8.15x86_64-darwinDependency failed
coqPackages.extructurescoq8.15-extructures-0.3.1x86_64-darwinDependency failed
coqPackages.extructurescoq8.15-extructures-0.3.1aarch64-darwinDependency failed
coqPackages.gappalibcoq8.15-gappalib-1.5.1x86_64-darwinDependency failed
coqPackages.gappalibcoq8.15-gappalib-1.5.1aarch64-darwinDependency failed
coqPackages.intervalcoq8.15-interval-4.5.1x86_64-darwinDependency failed
coqPackages.iriscoq8.15-iris-3.6.0aarch64-darwinDependency failed
coqPackages.iriscoq8.15-iris-3.6.0x86_64-darwinDependency failed
coqPackages.mathcompcoq8.15-mathcomp-all-1.14.0x86_64-darwinDependency failed
coqPackages.mathcompcoq8.15-mathcomp-all-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-algebracoq8.15-mathcomp-algebra-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-algebracoq8.15-mathcomp-algebra-1.14.0x86_64-darwinDependency failed
coqPackages.mathcomp-charactercoq8.15-mathcomp-character-1.14.0x86_64-darwinDependency failed
coqPackages.mathcomp-charactercoq8.15-mathcomp-character-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-fieldcoq8.15-mathcomp-field-1.14.0x86_64-darwinDependency failed
coqPackages.mathcomp-fieldcoq8.15-mathcomp-field-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-fingroupcoq8.15-mathcomp-fingroup-1.14.0x86_64-darwinDependency failed
coqPackages.mathcomp-fingroupcoq8.15-mathcomp-fingroup-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-solvablecoq8.15-mathcomp-solvable-1.14.0x86_64-darwinDependency failed
coqPackages.mathcomp-solvablecoq8.15-mathcomp-solvable-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-ssreflectcoq8.15-mathcomp-ssreflect-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-ssreflectcoq8.15-mathcomp-ssreflect-1.14.0x86_64-darwinDependency failed
coqPackages.mathcomp-wordcoq8.15-mathcomp1.14-word-1.1x86_64-darwinDependency failed
coqPackages.mathcomp-wordcoq8.15-mathcomp1.14-word-1.1aarch64-darwinDependency failed
coqPackages.paramcoqcoq8.15-paramcoq-1.1.3aarch64-darwinDependency failed
coqPackages.paramcoqcoq8.15-paramcoq-1.1.3x86_64-darwinDependency failed
coqPackages.simple-iocoq8.15-simple-io-1.7.0aarch64-darwinDependency failed
coqPackages.simple-iocoq8.15-simple-io-1.7.0x86_64-darwinDependency failed
coqPackages.ssreflectcoq8.15-mathcomp-ssreflect-1.14.0x86_64-darwinDependency failed
coqPackages.ssreflectcoq8.15-mathcomp-ssreflect-1.14.0aarch64-darwinDependency failed
coqPackages.stdppcoq8.15-stdpp-1.7.0x86_64-darwinDependency failed
coqPackages.stdppcoq8.15-stdpp-1.7.0aarch64-darwinDependency failed
coqPackages.tlccoq8.15-tlcx86_64-darwinDependency failed
coqPackages.tlccoq8.15-tlcaarch64-darwinDependency failed
easycrypteasycrypt-2022.04aarch64-darwinDependency failed
easycrypteasycrypt-2022.04x86_64-darwinDependency failed
why3why3-1.5.0x86_64-darwinDependency failed
why3why3-1.5.0aarch64-darwinDependency failed