Derive([("out","/gnu/store/d24jcp33m821k1k0v9xxcxy6y3ppmd6c-jane-street-headers-v0.15.0.tar.gz","sha256","34e4a37b26e3827da129c0ac7add26e8c09a21a704d55ca05211a8de17c847e4")],[],["/gnu/store/0mxnx8l4fgigvd7gakwdk6hc6im4wnai-disarchive-mirrors","/gnu/store/lv7dc09895a2d7cn0m6ysrdlgkhx5ld8-content-addressed-mirrors","/gnu/store/nb73zsx418kbz2p3f15pvv9spi0afmz7-mirrors"],"mips64el-linux","builtin:download",[],[("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/nb73zsx418kbz2p3f15pvv9spi0afmz7-mirrors"),("out","/gnu/store/d24jcp33m821k1k0v9xxcxy6y3ppmd6c-jane-street-headers-v0.15.0.tar.gz"),("preferLocalBuild","1"),("url","\"https://ocaml.janestreet.com/ocaml-core/v0.15/files/jane-street-headers-v0.15.0.tar.gz\"")])