Derivation

/gnu/store/kxlsm9cnpk0a2bz2jc83jrj2rgm91mvi-agda-ial-1.5.0-1.ded30c4.drv

Tags

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

Submitted at

2023-07-22 03:41:07

State

Succeeded

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

Priority

0

View build log