Derivation

/gnu/store/1srv2p7cmdrcriysgfrslsn01jfi66n5-agda-stdlib-1.7.2.drv

Tags

• branch: master
• revision: c2057a608e4a8a8f9c2c68609b5b00a3acafdf9d
• category: package

Submitted at

2023-07-21 23:44:50

State

Succeeded

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

Priority

700

View build log