/gnu/store/17a8msp5k74ssh4i0wqgxk4nvng0ixnb-
agda-1lab-0.0-2.549fdb1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/mhpdxpxgrq9jjnc4fx9j3lb105yr3rbr-
agda-1lab-0.0-2.549fdb1
","","#f")
],[
Inputs
("
/gnu/store/3v9qmi0bdmgp8qlakvf5l41zjphq4dip-
agda-1lab-0.0-2.549fdb1-checkout.drv
","["out"]),
("
/gnu/store/5sq0zp98v5iv28kf3wvzm13785sjlibm-
agda-2.6.4.drv
","["out"]),
("
/gnu/store/7ym1v8ghzp694p3ygm0fdhj0anc9arfp-
module-import-compiled.drv
","["out"]),
("
/gnu/store/9dpbf0fix5n3gwrh0656k0yzcm0v2lys-
guile-3.0.9.drv
","["out"]),
("
/gnu/store/n9kblf5cx4lphrydjr90sp3zfvcdr1pb-
glibc-utf8-locales-2.35.drv
","["out"])
],[
Sources
"
/gnu/store/6qdci99a58a5cchbcvh6x34qidfdki9a-
module-import
",
"
/gnu/store/a1z5qw81w7z92yzyighkgpx57nvygf9g-
agda-1lab-0.0-2.549fdb1-builder
"
],
System
"x86_64-linux",
Builder
"
/gnu/store/g8p09w6r78hhkl2rv1747pcp9zbk6fxv-
guile-3.0.9
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/6qdci99a58a5cchbcvh6x34qidfdki9a-
module-import
",
"
-C
",
"
/gnu/store/7as1rnbzc0sgfrp54l1ypcp9dnn65nzg-
module-import-compiled
",
"
/gnu/store/a1z5qw81w7z92yzyighkgpx57nvygf9g-
agda-1lab-0.0-2.549fdb1-builder
"
],[
Environment variables
("out","
/gnu/store/mhpdxpxgrq9jjnc4fx9j3lb105yr3rbr-
agda-1lab-0.0-2.549fdb1
")
]
)