Derivation

/gnu/store/la6mm4nbdx8rx363xkcqwakr0s4dmbks-agda-ial-1.5.0.drv

Tags

• category: package
• branch: staging
• revision: 3d297a0017210f1dd135592efb10846840a8af88

Submitted at

2022-10-24 13:06:51

State

Failed

• Agent b57898c3-7187-4c56-9d3c-4e68b954b79a

Priority

0

View build log