Hydra failures for packages maintained by proux01

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.fcsl-pcm.aarch64-darwincoq9.1-fcsl-pcm-2.2.0aarch64-darwinDependency failed
nixpkgs.coqPackages.jasmin.aarch64-darwincoq9.1-jasmin-2026.03.1aarch64-darwinDependency failed
nixpkgs.rocqPackages.fcsl-pcm.aarch64-darwincoq9.1-fcsl-pcm-2.2.0aarch64-darwinDependency failed
nixpkgs.rocqPackages.jasmin.aarch64-darwincoq9.1-jasmin-2026.03.1aarch64-darwinDependency failed