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

Derive(
[
Outputs
],[
Inputs
],[
Sources
],
System
"x86_64-linux",
Builder
[
Arguments
],[
Environment variables
)