/gnu/store/7k6x70abaikaznsxig2hlsmqwb3b1mnb-cl-prove-1.0.0-1.4f9122b.drv

Inputs

File name
/gnu/store/1nzc5fwsv7lgyqhnmmragikh8mli74rp-xz-5.2.4.drv
/gnu/store/1vjj37rkf5csdn2f810k6a6lik22dkjl-ld-wrapper-0.drv
/gnu/store/2lmdda09kxqzxhfiid7sryv8dzfzxcvn-make-4.3.drv
/gnu/store/3ca8ay34gbgdnyfwbhxwcrzas3zf242q-cl-anaphora-0.9.6.drv
/gnu/store/4jwin41xpm0ndjzb2c43p8k28rxsa992-diffutils-3.7.drv
/gnu/store/5y9lfi7q2k91m7zl4ws4yzabvn53caw9-binutils-2.34.drv
/gnu/store/8fxbxdlbxa9zfyi27yczjzyhigavccjh-bzip2-1.0.8.drv
/gnu/store/aja04xim9gg048fb32f63g7kp5lx9np2-cl-alexandria-1.1.drv
/gnu/store/b83v27mhy1y5w31cgxxc2krxvshik8k2-bash-minimal-5.0.16.drv
/gnu/store/bghd7z7y3zq3ilf06fxppaiyg6wj9rhf-gawk-5.0.1.drv
/gnu/store/d8vyavvbvni5r92skrzsfkjqg6jgkah0-cl-ppcre-2.1.1.drv
/gnu/store/d999ayg4ijapqxiwbn40f963hzazabd1-tar-1.32.drv
/gnu/store/f417ikqrsarh20ypyhkv48zpzh4982fj-gzip-1.10.drv
/gnu/store/gi0p45681qydyxyr7zx9ib248wjapchz-cl-colors-0.0.0-1.8274105.drv
/gnu/store/gxyxbv4bnnncczc51va6n8v8gxg01k86-cl-let-plus-0.0.0-1.5f14af6.drv
/gnu/store/h1vkxj9sqfr7wf0ngvrykvnfayx5m17p-cl-ansi-text-1.0.0-1.53badf7.drv
/gnu/store/i4z94idm7ad2x06cbnvzpg9s9nn7554b-guile-3.0.2.drv
/gnu/store/ik8pfllhp2qkz2ckjkzh6j0mqvp7lzbq-coreutils-8.32.drv
/gnu/store/iz0sr9lpkmq7vcwqaid5lksq0sd4daxa-cl-trivial-gray-streams-0.0.0-1.ebd59b1.drv
/gnu/store/k5r1729xjjzpgs5kpykadq2zvf6lnq04-file-5.38.drv
/gnu/store/klh6g8xgpwrnvrzsfh327xbi1xbygia0-cl-net.didierverna.asdf-flv-2.1.drv
/gnu/store/m0bz7fbqn1abycp4bz67v8baw0zhsriv-cl-trivial-backtrace-0.0.0-1.ca81c01.drv
/gnu/store/nc10pmhfav2qff8pi6lwpqf1gg4s7kkw-findutils-4.7.0.drv
/gnu/store/nq04rv6821dm62j8wxa5j3wqy17znwy2-cl-fiveam-1.4.1.drv
/gnu/store/p2qf8gha74b668710455vf5k8qxhpxnp-glibc-utf8-locales-2.31.drv
/gnu/store/p7xljpsjz8hpr2acd9i0h1k3w4sabgfd-prove-1.0.0-1.4f9122b-checkout.drv
/gnu/store/pvnd8k37zra4f54hjy2g6vlb9axk2zrw-grep-3.4.drv
/gnu/store/pvwf49a6q7cn116anxy884b9l8vfns1f-glibc-2.31.drv
/gnu/store/ra79w7qaglf9ddfh4xm53pyb249aax3w-cl-prove-asdf-1.0.0-1.4f9122b.drv
/gnu/store/rbzinrzdd02ym6zdx2i39gfqw14v67ya-gcc-7.5.0.drv
/gnu/store/rg1lb7ix9irwzj2fzqj4nzy3f6p3z5k5-cl-lift-1.7.1-1.7d49a66.drv
/gnu/store/rx58xlpnpn4jdv23vmxgydw3qr22kz5z-patch-2.7.6.drv
/gnu/store/s8ws1alsrz94vfa4cy5f5zd1fvpckjci-linux-libre-headers-5.4.20.drv
/gnu/store/scaw2hy3nf7wr86cna7vbwzfhgkqk7al-module-import-compiled.drv
/gnu/store/siq4dpbhw7z44rb917f5sf913y3ic4n6-cl-rt-1990.12.19-1.a6a7503.drv
/gnu/store/wk575ids2569pk7v96cf6xjaj40mh95w-cl-flexi-streams-1.0.18.drv
/gnu/store/y56c4w9pf51x6ycbzvmpiylz6rmiagr6-sbcl-prove-1.0.0-1.4f9122b.drv
/gnu/store/yjijliy5g9hp85xxdayb2rr0m5dryh2p-sed-4.8.drv

Derivation details

Builder/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile
Systemarmhf-linux

Build status

Unknown