Hydra failures for packages maintained by CohenCyril

Jump to: Direct Failures • Indirect Failures

Direct failures

These are packages fail to build themselves.

AttributeJob namePlatformResult
None 🎉

Jump to: Direct Failures • Indirect Failures

Indirect failures

These are packages where a dependency failed to build.

AttributeJob namePlatformResult
nixpkgs.coqPackages.coq-elpi.aarch64-darwinrocq9.1-elpi-3.5.0aarch64-darwinDependency failed
nixpkgs.coqPackages.hierarchy-builder.aarch64-darwinrocq9.1-hierarchy-builder-1.10.3aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-algebra-tactics.aarch64-darwincoq9.1-mathcomp2.5-algebra-tactics-1.2.7aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-algebra.aarch64-darwinrocq9.1-mathcomp-algebra-2.5.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-analysis-stdlib.aarch64-darwinrocq9.1-mathcomp2.5-mathcomp-analysis-stdlib-1.16.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-analysis.aarch64-darwinrocq9.1-mathcomp2.5-mathcomp-analysis-1.16.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-boot.aarch64-darwinrocq9.1-mathcomp-boot-2.5.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-character.aarch64-darwinrocq9.1-mathcomp-group-representation-2.5.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-classical.aarch64-darwinrocq9.1-mathcomp2.5-mathcomp-classical-1.16.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-experimental-reals.aarch64-darwinrocq9.1-mathcomp2.5-mathcomp-experimental-reals-1.16.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-field.aarch64-darwinrocq9.1-mathcomp-field-2.5.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-fingroup.aarch64-darwinrocq9.1-mathcomp-finite-group-2.5.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-finite-group.aarch64-darwinrocq9.1-mathcomp-finite-group-2.5.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-group-representation.aarch64-darwinrocq9.1-mathcomp-group-representation-2.5.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-order.aarch64-darwinrocq9.1-mathcomp-order-2.5.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-reals-stdlib.aarch64-darwinrocq9.1-mathcomp2.5-mathcomp-reals-stdlib-1.16.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-reals.aarch64-darwinrocq9.1-mathcomp2.5-mathcomp-reals-1.16.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-solvable.aarch64-darwinrocq9.1-mathcomp-solvable-2.5.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-ssreflect.aarch64-darwinrocq9.1-mathcomp-ssreflect-2.5.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp-zify.aarch64-darwinrocq9.1-mathcomp2.5-zify-1.7.0+2.4+9.0aarch64-darwinDependency failed
nixpkgs.coqPackages.mathcomp.aarch64-darwinrocq9.1-mathcomp-all-2.5.0aarch64-darwinDependency failed
nixpkgs.coqPackages.rocq-elpi.aarch64-darwinrocq9.1-elpi-3.5.0aarch64-darwinDependency failed
nixpkgs.coqPackages.ssreflect.aarch64-darwinrocq9.1-mathcomp-ssreflect-2.5.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.coq-elpi.aarch64-darwinrocq9.1-elpi-3.5.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.hierarchy-builder.aarch64-darwinrocq9.1-hierarchy-builder-1.10.3aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-algebra-tactics.aarch64-darwincoq9.1-mathcomp2.5-algebra-tactics-1.2.7aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-algebra.aarch64-darwinrocq9.1-mathcomp-algebra-2.5.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-analysis-stdlib.aarch64-darwinrocq9.1-mathcomp2.5-mathcomp-analysis-stdlib-1.16.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-analysis.aarch64-darwinrocq9.1-mathcomp2.5-mathcomp-analysis-1.16.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-boot.aarch64-darwinrocq9.1-mathcomp-boot-2.5.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-character.aarch64-darwinrocq9.1-mathcomp-group-representation-2.5.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-classical.aarch64-darwinrocq9.1-mathcomp2.5-mathcomp-classical-1.16.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-experimental-reals.aarch64-darwinrocq9.1-mathcomp2.5-mathcomp-experimental-reals-1.16.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-field.aarch64-darwinrocq9.1-mathcomp-field-2.5.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-fingroup.aarch64-darwinrocq9.1-mathcomp-finite-group-2.5.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-finite-group.aarch64-darwinrocq9.1-mathcomp-finite-group-2.5.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-group-representation.aarch64-darwinrocq9.1-mathcomp-group-representation-2.5.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-order.aarch64-darwinrocq9.1-mathcomp-order-2.5.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-reals-stdlib.aarch64-darwinrocq9.1-mathcomp2.5-mathcomp-reals-stdlib-1.16.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-reals.aarch64-darwinrocq9.1-mathcomp2.5-mathcomp-reals-1.16.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-solvable.aarch64-darwinrocq9.1-mathcomp-solvable-2.5.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-ssreflect.aarch64-darwinrocq9.1-mathcomp-ssreflect-2.5.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp-zify.aarch64-darwinrocq9.1-mathcomp2.5-zify-1.7.0+2.4+9.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.mathcomp.aarch64-darwinrocq9.1-mathcomp-all-2.5.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.rocq-elpi.aarch64-darwinrocq9.1-elpi-3.5.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.ssreflect.aarch64-darwinrocq9.1-mathcomp-ssreflect-2.5.0aarch64-darwinDependency failed