/gnu/store/zagrvrw6s9jx6hgv7gksi3hibk89b5k3-dune-istl-2.6.0.tar.gz.drv

Derive(
[
Outputs
("out","/gnu/store/kfs7kvbhy2ifklxxz57p5h54rnqrdxrk-dune-istl-2.6.0.tar.gz","sha256","5ce06fc396624f654c3f34e333fd5900e992c4596b3230abe68617ed77f64f50")
],[
Inputs
],[
Sources
],
System
"aarch64-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/h1nnwnrbwr7vcllyn1k0p55lkdz0clhh-mirrors")
("out","/gnu/store/kfs7kvbhy2ifklxxz57p5h54rnqrdxrk-dune-istl-2.6.0.tar.gz")
("preferLocalBuild","1")
("url",""https://dune-project.org/download/2.6.0/dune-istl-2.6.0.tar.gz"")
]
)