Derivation

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

Tags

• revision: d1aad8a28405277cf3d18389e6c0299fc20fd5a3
• branch: tex-team-next
• category: package

Submitted at

2023-07-01 20:31:09

State

Succeeded

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

Priority

400

View build log