/gnu/store/vkz9zv5sp370im7r8pagf2mhxj1y504a-
agda-1lab-0.0-3.afcf848.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/224pa00p2sjnkszyl5bng9p2jnyz7700-
agda-1lab-0.0-3.afcf848
","","")
],[
Inputs
("
/gnu/store/4r1bh6fwawa9za0jjynqgr4mjrzm7ncg-
agda-1lab-0.0-3.afcf848-checkout.drv
","["out"]),
("
/gnu/store/6iimnnhxah41fwyn3nmj035iwshp7lav-
module-import-compiled.drv
","["out"]),
("
/gnu/store/965dncw9g1hlsbgh8xsjhrz146b4r4i8-
agda-2.7.0.1.drv
","["out"]),
("
/gnu/store/mpcpqg2z2496phr13mq6p66isj30ps88-
guile-3.0.9.drv
","["out"])
],[
Sources
"
/gnu/store/qq4scfx633nkgd8ikvn1nnmcszvc3qfq-
agda-1lab-0.0-3.afcf848-builder
",
"
/gnu/store/zhnkxkjwggfxjsvzmyvqijb550926laq-
module-import
"
],
System
"x86_64-linux",
Builder
"
/gnu/store/xv4cd7qz4yan93zkjisbmbpxfz78hah2-
guile-3.0.9
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/zhnkxkjwggfxjsvzmyvqijb550926laq-
module-import
",
"
-C
",
"
/gnu/store/ks3p3hbgwxda6avqj165wa0s8xb0rmw8-
module-import-compiled
",
"
/gnu/store/qq4scfx633nkgd8ikvn1nnmcszvc3qfq-
agda-1lab-0.0-3.afcf848-builder
"
],[
Environment variables
("out","
/gnu/store/224pa00p2sjnkszyl5bng9p2jnyz7700-
agda-1lab-0.0-3.afcf848
")
]
)