/gnu/store/06kwvbf56qlm3ph0x2372pdkdscc8jdk-mpfr-4.0.2.tar.xz.drv

Derive(
[
Outputs
("out","/gnu/store/bkyiyc4hrjcd4ljx6jqf7z05hm4qxcwd-mpfr-4.0.2.tar.xz","sha256","1d3be708604eae0e42d578ba93b390c2a145f17743a744d8f3f8c2ad5855a38a")
],[
Inputs
],[
Sources
],
System
"armhf-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/bkyiyc4hrjcd4ljx6jqf7z05hm4qxcwd-mpfr-4.0.2.tar.xz")
("preferLocalBuild","1")
("url",""mirror://gnu/mpfr/mpfr-4.0.2.tar.xz"")
]
)