/gnu/store/dvv56zfr08ggpxc42il05wpb36skrczw-dune-common-2.7.0.tar.gz.drv

Derive(
[
Outputs
("out","/gnu/store/sjs5rxi01sy4bagzwcxajk0kghkxvbf4-dune-common-2.7.0.tar.gz","sha256","3c83c583a45325513113148cb94bd978e601907a6591c765f6253342e00f1890")
],[
Inputs
],[
Sources
],
System
"x86_64-linux",
Builder
builtin:download,
[
Arguments
],[
Environment variables
("content-addressed-mirrors","/gnu/store/vwyxp1dq4lb97n6b20w5cqxasy2dai79-content-addressed-mirrors")
("disarchive-mirrors","/gnu/store/b7wn0lk7pxwx3pj6gayqbqi9xcq72mqs-disarchive-mirrors")
("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS")
("mirrors","/gnu/store/fvxfibb34dqvkc0z3yfxwd41r2s0j73w-mirrors")
("out","/gnu/store/sjs5rxi01sy4bagzwcxajk0kghkxvbf4-dune-common-2.7.0.tar.gz")
("preferLocalBuild","1")
("url",""https://dune-project.org/download/2.7.0/dune-common-2.7.0.tar.gz"")
]
)