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

Priority

700

View build log