/gnu/store/m8kdsvhm9g2hph5b9sibw26kkpiy6ng2-
Agda-2.6.2.1.tar.gz.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/3309c63mhx79484vwc4n5d8py9rim88m-
Agda-2.6.2.1.tar.gz
","sha256","3c4146539e1f2561a05896e3c18a7d0262d98a28f5c5adcc8cce8d8c9d3cbc0d")
],[
Inputs
],[
Sources
"
/gnu/store/0mxnx8l4fgigvd7gakwdk6hc6im4wnai-
disarchive-mirrors
",
"
/gnu/store/hdprrnsaa40vl1k63hnq7l1f012jzq2y-
mirrors
",
"
/gnu/store/lv7dc09895a2d7cn0m6ysrdlgkhx5ld8-
content-addressed-mirrors
"
],
System
"powerpc64le-linux",
Builder
builtin:download,
[
Arguments
],[
Environment variables
("content-addressed-mirrors","
/gnu/store/lv7dc09895a2d7cn0m6ysrdlgkhx5ld8-
content-addressed-mirrors
")
("disarchive-mirrors","
/gnu/store/0mxnx8l4fgigvd7gakwdk6hc6im4wnai-
disarchive-mirrors
")
("impureEnvVars","
http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS
")
("mirrors","
/gnu/store/hdprrnsaa40vl1k63hnq7l1f012jzq2y-
mirrors
")
("out","
/gnu/store/3309c63mhx79484vwc4n5d8py9rim88m-
Agda-2.6.2.1.tar.gz
")
("preferLocalBuild","
1
")
("url","
"https://hackage.haskell.org/package/Agda/Agda-2.6.2.1.tar.gz"
")
]
)