/gnu/store/npnkr88fb0649nmj83fdv0y39r32ramq-
ppx_optional-v0.11.0.tar.gz.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/bppdm42n73v6slgpwsd48rwpkpf8q68p-
ppx_optional-v0.11.0.tar.gz
","sha256","10f4436eb5e393a9cf58c14e229a9ccf6f101e7d4e5249f5dc6296a4de121ffd")
],[
Inputs
],[
Sources
"
/gnu/store/5iw2ivjw5njyyvi7avyphfcibgbqdbsc-
mirrors
",
"
/gnu/store/vwyxp1dq4lb97n6b20w5cqxasy2dai79-
content-addressed-mirrors
"
],
System
"x86_64-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/5iw2ivjw5njyyvi7avyphfcibgbqdbsc-
mirrors
")
("out","
/gnu/store/bppdm42n73v6slgpwsd48rwpkpf8q68p-
ppx_optional-v0.11.0.tar.gz
")
("preferLocalBuild","
1
")
("url","
"https://ocaml.janestreet.com/ocaml-core/v0.11/files/ppx_optional-v0.11.0.tar.gz"
")
]
)