Derivation

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

Tags

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

Submitted at

2023-07-23 01:33:00

State

Failed

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

Priority

700

View build log