/gnu/store/s9jn2ms5c5xjwrmbrs6wfmrdm067h9jl-agda-1lab-0.0-2.549fdb1-checkout.drv

Inputs

No inputs

Derivation details

Builderbuiltin:git-download
Systemx86_64-linux

Build status