Derivation

/gnu/store/mx1iws8vbl3sw2y7sk67pflwdd10y431-agda-1lab-0.0-1.47ca1d2.drv

Tags

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

Submitted at

2023-07-22 04:26:54

State

Succeeded

Priority

700

View build log