/gnu/store/1n42ivsab8hbv76q3d9rv66khavqm3jb-mpfr-2.4.2.tar.gz.drv

Derive(
[
Outputs
("out","/gnu/store/qfnvc6d5sjh40rl209dinm29w5xpm3nr-mpfr-2.4.2.tar.gz","sha256","246d7e184048b1fc48d3696dd302c9774e24e921204221540745e5464022b637")
],[
Inputs
],[
Sources
],
System
"x86_64-linux",
Builder
builtin:download,
[
Arguments
],[
Environment variables
("content-addressed-mirrors","/gnu/store/lv7dc09895a2d7cn0m6ysrdlgkhx5ld8-content-addressed-mirrors")
("disarchive-mirrors","/gnu/store/0mxnx8l4fgigvd7gakwdk6hc6im4wnai-disarchive-mirrors")
("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS")
("mirrors","/gnu/store/6g0dn3cvrvjgr193jgp1bkd9wcrl7crb-mirrors")
("out","/gnu/store/qfnvc6d5sjh40rl209dinm29w5xpm3nr-mpfr-2.4.2.tar.gz")
("preferLocalBuild","1")
("url",""mirror://gnu/mpfr/mpfr-2.4.2.tar.gz"")
]
)