/gnu/store/kfnfz8zrppggbza3zfy913x19jbmpwxz-mpfr-4.0.1.tar.xz.drv

Derive(
[
Outputs
("out","/gnu/store/izjb3sn84lxqm6cjbvvbfdcqk1w5mi0a-mpfr-4.0.1.tar.xz","sha256","67874a60826303ee2fb6affc6dc0ddd3e749e9bfcb4c8655e3953d0458a6e16e")
],[
Inputs
],[
Sources
],
System
"armhf-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/7f1alh9qj2h0wwy2220npgnmw6pbrkwx-mirrors")
("out","/gnu/store/izjb3sn84lxqm6cjbvvbfdcqk1w5mi0a-mpfr-4.0.1.tar.xz")
("preferLocalBuild","1")
("url",""mirror://gnu/mpfr/mpfr-4.0.1.tar.xz"")
]
)