Derivation

/gnu/store/az7zzvc2pmxpvpa3gz9q4kizvbx3xf0g-agda-categories-0.1.7.2.drv

Tags

• category: package
• revision: 519e1e3eb88ec532fc83ebb742d9919269b57c87
• branch: master

Submitted at

2024-02-10 18:57:11

State

Failed

• Agent 7470cbd5-f64e-496c-a57b-593543ee4686

Priority

700

View build log