Build 45d5b416-a00d-4970-ade3-a81c1ccb4535 — bordeaux.guix.gnu.org

Derivation
/gnu/store/9lqbbvv3ndjxd10qy10dv5f3wi3vyywf-coq-coquelicot-3.4.1-checkout.drv
Tags
  • category: package
  • issue: 71492
  • revision: dba6568e003bf41a49c8502587a22b5710398b3e
Submitted at
2024-06-23 06:06:45
State
Failed
Priority
0
View build log