/gnu/store/22x06fbz99ph7w0hq6m3dnvvd6m3mbkw-cl-prove-1.0.0-2.5d71f02.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/015891ifwzlfgjkyql765zbaygv2nl5z-diffutils-3.8.drv
/gnu/store/0f57987vvb4wg9svrdpgig4jc54amc74-cl-colors-0.0.0-1.8274105.drv
/gnu/store/0x5yrmfq8j5rrlz01vw3vqiz7yg1w3ma-patch-2.7.6.drv
/gnu/store/1m6bzbl016vzw8m03b1w38nii4hrczkw-bzip2-1.0.8.drv
/gnu/store/1r60zrx5k267hh1p08k6j1gsp52xnjvm-cl-ppcre-2.1.1.drv
/gnu/store/279999jd44bk7ym5fn4qxrm561v2h76l-sbcl-prove-1.0.0-2.5d71f02.drv
/gnu/store/3b5xfl2dk12v69ddg8ngrlzz2mpmrdcz-cl-anaphora-0.9.6.drv
/gnu/store/42039a32nqlk8mv1qddwzm9yfxm1li1z-ld-wrapper-0.drv
/gnu/store/4pvvrwjjzv4l2kmpb1nmw24i9f9ml7ar-gcc-10.3.0.drv
/gnu/store/50v0xis28p7xppmzq5hjq93l02vwb9pv-cl-flexi-streams-1.0.19.drv
/gnu/store/6097zlpcikkcndm3gacqrirm4ahrsw3j-cl-net.didierverna.asdf-flv-2.1.drv
/gnu/store/a02b8v1b0ssbxfikx30bgks1va088rwj-module-import-compiled.drv
/gnu/store/a2mfjnzmfda8d4fpixpywk7fm4gcy3k3-cl-ansi-text-2.0.1-1.8b129d8.drv
/gnu/store/a6a8s1c4nzj3fik3fx8mz0ilpfgkz0vp-cl-alexandria-1.4.drv
/gnu/store/ailvbcbanc7rv2bdj3qwmmwc9s0bp95q-cl-colors2-0.2.1-1.795aede.drv
/gnu/store/azkcpdl01c424z76f6r3pncihqwqgabq-cl-trivial-backtrace-1.1.0-1.6eb65bd.drv
/gnu/store/bgyhxacdrszl9bwh3hs7v60zsrzy0l3w-glibc-utf8-locales-2.33.drv
/gnu/store/bm5dxl9x26xw2wgv7avkjm3ryf1a5zhz-findutils-4.8.0.drv
/gnu/store/ck7vc8nf7qmsblpyyp394zy5hgqjb0fx-cl-trivial-gray-streams-2.0-1.2b3823e.drv
/gnu/store/d9am68ysyl6n53l85aggball4lkhdbjd-glibc-2.33.drv
/gnu/store/dr1f2a35f8270162ljcgwzs33qac5pdw-cl-lift-1.7.1-2.2594160.drv
/gnu/store/f3s9zz9i5fkhnah4ndmyi8wpfdyf18kk-gawk-5.1.0.drv
/gnu/store/gk2fwi6d4fjjpif6m12i957c5cz7gd3b-binutils-2.37.drv
/gnu/store/gkmvwyrqig23rvybic60na6pnxnsq9yk-guile-3.0.7.drv
/gnu/store/hb0xw0604vb4jy1mr4jvfpw9x6s7ak8h-make-4.3.drv
/gnu/store/icymxfi8ypfl8vdg6hni9fcsvx4v1wln-xz-5.2.5.drv
/gnu/store/j2nhi9043bzz10dy3yn2diz4gnk8xdmc-cl-clunit2-0.2.4-1.5e28343.drv
/gnu/store/jcm14qdcy4i6hgmil4cjw6k0xnw5zb8f-cl-fiveam-1.4.2.drv
/gnu/store/kfjq01cp1w11lm6c5zpnav10g4r96g04-prove-1.0.0-2.5d71f02-checkout.drv
/gnu/store/l9pmk7icq23v9vfjzizwac9vf5xf7id1-grep-3.6.drv
/gnu/store/mp1v3lkmba4v9gkw1wkqqlq0nvf53haj-file-5.39.drv
/gnu/store/qp5pljna5k0828f7mxabf8v6rad2nhr5-linux-libre-headers-5.10.35.drv
/gnu/store/qvwjcq4zrsppdl8q7ws1fp06hz30jpcr-tar-1.34.drv
/gnu/store/wfwswmz5j5zwldczafqgb075gn3ag8mk-cl-rt-1990.12.19-1.a6a7503.drv
/gnu/store/wnh7dibpqh0nchpy4pbwdf1l7y7ba25q-bash-minimal-5.1.8.drv
/gnu/store/xvpdf42r3ixdr3f6gd9655w79kskdqr3-cl-let-plus-0.0.0-1.5f14af6.drv
/gnu/store/ygpbjks2hjm3n6jawnmgp985q3n08ycx-sed-4.8.drv
/gnu/store/z9vlkvy24q0y1nsh51wvg0zm0r1r2szy-coreutils-8.32.drv
/gnu/store/zfkzmfl5nyhfixm5zfddg59yf7j0frbv-gzip-1.10.drv

Derivation details

Builder/gnu/store/shajs4lnjdycnp3b0va74fa1mc8zmmmf-guile-3.0.7/bin/guile
Systempowerpc-linux

Build status

Unknown

Outputs

File name
/gnu/store/71asv3a3affz5w690zjf03254fyf3c0w-cl-prove-1.0.0-2.5d71f02