/gnu/store/5iv1x8yvd7zv30pdgwgwf37rkc9vgbr3-
Agda-2.6.0.1.tar.gz.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/hlm4vrv5vnaj0fv7ihqy7lqz3c09ndqb-
Agda-2.6.0.1.tar.gz
","sha256","7bb88a9cd4a556259907ccc71d54e2acc9d3e9ce05486ffdc83f721c7c06c0e8")
],[
Inputs
],[
Sources
"
/gnu/store/fvxfibb34dqvkc0z3yfxwd41r2s0j73w-
mirrors
",
"
/gnu/store/vwyxp1dq4lb97n6b20w5cqxasy2dai79-
content-addressed-mirrors
"
],
System
"armhf-linux",
Builder
builtin:download,
[
Arguments
],[
Environment variables
("content-addressed-mirrors","
/gnu/store/vwyxp1dq4lb97n6b20w5cqxasy2dai79-
content-addressed-mirrors
")
("impureEnvVars","
http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS
")
("mirrors","
/gnu/store/fvxfibb34dqvkc0z3yfxwd41r2s0j73w-
mirrors
")
("out","
/gnu/store/hlm4vrv5vnaj0fv7ihqy7lqz3c09ndqb-
Agda-2.6.0.1.tar.gz
")
("preferLocalBuild","
1
")
("url","
"https://hackage.haskell.org/package/Agda/Agda-2.6.0.1.tar.gz"
")
]
)