Derivation

/gnu/store/kayhr70zl37wdx79hdchf326jc7w76dc-coq-coquelicot-3.4.1-checkout.drv

Tags

• category: package
• issue: 71492
• revision: dba6568e003bf41a49c8502587a22b5710398b3e

Submitted at

2024-06-12 13:59:34

State

Failed

• Agent e9796ee6-d82e-4073-b2c8-3acb51c576e0

Priority

0

View build log