/gnu/store/rkbbc8v62z2pylprnilq9v6pak11bb9r-
agda-1lab-0.0-3.afcf848.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/fffgmipfbm7fx64zflvx4ya5q18jh2nc-
agda-1lab-0.0-3.afcf848
","","")
],[
Inputs
("
/gnu/store/hlz59hmrj6wc4a9kq5jzzhlq16g60lap-
module-import-compiled.drv
","["out"]),
("
/gnu/store/kk9jjxd4wnhyszgmfxrdqlnm4p21244f-
agda-1lab-0.0-3.afcf848-checkout.drv
","["out"]),
("
/gnu/store/nbxfrsfrjc6jzwps8wxx0bkfknkdkpi6-
agda-2.7.0.1.drv
","["out"]),
("
/gnu/store/y7slnjxhkjzaf13gs4ccjf6sg17f6dj5-
guile-3.0.9.drv
","["out"])
],[
Sources
"
/gnu/store/qhphh8i8zwqqywyjb6pgl6aa39lriyg7-
agda-1lab-0.0-3.afcf848-builder
",
"
/gnu/store/zhnkxkjwggfxjsvzmyvqijb550926laq-
module-import
"
],
System
"i686-linux",
Builder
"
/gnu/store/g47dyhp5r1mqk5y542fii9lw19giv855-
guile-3.0.9
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/zhnkxkjwggfxjsvzmyvqijb550926laq-
module-import
",
"
-C
",
"
/gnu/store/xd63kzsdb0bqrqk6spsy9wbh1l54wvmi-
module-import-compiled
",
"
/gnu/store/qhphh8i8zwqqywyjb6pgl6aa39lriyg7-
agda-1lab-0.0-3.afcf848-builder
"
],[
Environment variables
("out","
/gnu/store/fffgmipfbm7fx64zflvx4ya5q18jh2nc-
agda-1lab-0.0-3.afcf848
")
]
)