/gnu/store/i6wspj2khfphss8p7z5gvfhj1s4x2n48-cl-prove-1.0.0-1.4f9122b.drv

Detail viewFormatted viewPlain view
Derive(
[
Outputs
("out","/gnu/store/9vm6v432h0lv65932py75m2ylbl37xn2-cl-prove-1.0.0-1.4f9122b","","#f")
],[
Inputs
("/gnu/store/110f2jlvf1bgwppx81sa07nc53c5v7vd-gzip-1.10.drv","["out"]),
("/gnu/store/17v7m6g11vkzrwwdcr54v9gsgc6nnims-glibc-2.29.drv","["out","static"]),
("/gnu/store/1w12a9hp3yb0n9aznfg08iqbf0glakhl-cl-lift-1.7.1-1.7d49a66.drv","["out"]),
("/gnu/store/26lr916yjvsq30565qd008q9kn83pgad-file-5.33.drv","["out"]),
("/gnu/store/27k07205g99sj5j7jlkfaflajg5lczbd-gawk-5.0.1.drv","["out"]),
("/gnu/store/27xlb17px1j7hs6rvinm7ic3p53nn3dz-binutils-2.32.drv","["out"]),
("/gnu/store/29spy5ckdqgmqx3xlgzvxfs3aq4dnsqh-ld-wrapper-0.drv","["out"]),
("/gnu/store/409swc8yx0dplzcjxl9f6jya9pjwhghs-coreutils-8.31.drv","["out"]),
("/gnu/store/47p1qbixallhqll2mhbdhhasx3b1612z-tar-1.32.drv","["out"]),
("/gnu/store/64y5xpk2cc3sgryyp31pl693fad7cr74-cl-rt-1990.12.19.drv","["out"]),
("/gnu/store/81a9bf7p1807f1knzxkr6p2zfwklflgl-cl-colors-0.0.0-1.8274105.drv","["out"]),
("/gnu/store/85dlsn3q21i9adgqjb4vkpcrglmvbbca-patch-2.7.6.drv","["out"]),
("/gnu/store/9yafp4x0i4znxyjqw43gambmk76l3fa1-sed-4.7.drv","["out"]),
("/gnu/store/a3ch75p4il3ps39f8p3nbcqzjm7kmzlg-module-import-compiled.drv","["out"]),
("/gnu/store/amh65gdpbdmifaijigmcc6v0xvfifd5m-cl-trivial-backtrace-0.0.0-1.ca81c01.drv","["out"]),
("/gnu/store/b3nm39szw9fa697m272v73aj5q86nwkr-grep-3.3.drv","["out"]),
("/gnu/store/dpy6h1ailh82n0062652nxl2hnvs3qc3-cl-flexi-streams-1.0.16.drv","["out"]),
("/gnu/store/fcqalvbrmdsqwfv89im6biqizmya418v-prove-1.0.0-1.4f9122b-checkout.drv","["out"]),
("/gnu/store/gws54d0zvmxvkg5q3npn65fmkkj7kpyi-glibc-utf8-locales-2.29.drv","["out"]),
("/gnu/store/hvpha1x9vdxc9hqj12rb1wkf288fcqvq-diffutils-3.7.drv","["out"]),
("/gnu/store/j7v0lqr95ycg25qayz1a4s898idcxlk1-xz-5.2.4.drv","["out"]),
("/gnu/store/jg8qzv19hibskxffjkcqwwk48bq0zc3c-cl-ansi-text-1.0.0-1.53badf7.drv","["out"]),
("/gnu/store/jmxqjk7ihjszafbka35vhgkx2vm8mrlw-guile-2.2.6.drv","["out"]),
("/gnu/store/k3dgkslxsgqnhm7x6mvpjslapd8i0fvs-bzip2-1.0.6.drv","["out"]),
("/gnu/store/k5izqd1ip8rb543l2yzphh6y4z9vjq4p-cl-alexandria-1.0.0-1.3b849bc.drv","["out"]),
("/gnu/store/kjm6m6cb2sl0ha9zj82z8w43j716w8j8-make-4.2.1.drv","["out"]),
("/gnu/store/lnpq5kf6lclrh1hs3jkndwk9ni6fx887-cl-ppcre-2.0.11.drv","["out"]),
("/gnu/store/m9nv84a3v02dqmjxzs22i0lrzc86rigq-cl-let-plus-0.0.0-1.5f14af6.drv","["out"]),
("/gnu/store/mzx9n9rxa1pdkpplx040403zv7vn0hbz-linux-libre-headers-4.19.56.drv","["out"]),
("/gnu/store/ni3a69v2cz2bz5cb9dk8xmz58xckj39j-cl-trivial-gray-streams-0.0.0-1.0483ade.drv","["out"]),
("/gnu/store/pfvlm669n7zbmvylpblmf8pn4v64wxbk-cl-prove-asdf-1.0.0-1.4f9122b.drv","["out"]),
("/gnu/store/s3kialrmcj5rfbxlnibv07wh421bjxja-cl-net.didierverna.asdf-flv-2.1.drv","["out"]),
("/gnu/store/vsjgps8agni191v273mcixp5jrym7daq-bash-minimal-5.0.7.drv","["out"]),
("/gnu/store/vxvgdbz31v6zn3yivxw9m6qs48nx5w94-findutils-4.6.0.drv","["out"]),
("/gnu/store/w8iv9jx1nhd37hn5z3rcd84ly9bs7skk-cl-fiveam-1.4.1.drv","["out"]),
("/gnu/store/xbgp5kajz1rbvc5gnmsi5vpr0y8vwcyg-module-import.drv","["out"]),
("/gnu/store/xhxfchiz4z02l8sac5ppsackbdrxx9bg-gcc-7.4.0.drv","["out"]),
("/gnu/store/yq43r17lb4bdf7yddc10vxj5wxv4qyp5-cl-anaphora-0.9.6.drv","["out"])
],[
Sources
"/gnu/store/sdqmn3n0fk7736wdrhacpqk3c4j67f44-cl-prove-1.0.0-1.4f9122b-guile-builder"
],
System
"mips64el-linux",
Builder
"/gnu/store/8x1l6vh0zqk09yfpcrhkylmrilj887f6-guile-2.2.6/bin/guile",
[
Arguments
"--no-auto-compile",
"-L",
"/gnu/store/dgmfprw0yjrpgnq5a796j2y9vfrd24y6-module-import",
"/gnu/store/sdqmn3n0fk7736wdrhacpqk3c4j67f44-cl-prove-1.0.0-1.4f9122b-guile-builder"
],[
Environment variables
("GUILE_LOAD_COMPILED_PATH","/gnu/store/59f3640ci0kq3pqmmks3znajbn8xay7r-module-import-compiled")
("out","/gnu/store/9vm6v432h0lv65932py75m2ylbl37xn2-cl-prove-1.0.0-1.4f9122b")
]
)