/gnu/store/588pg71jxlark129si8ja87i3q58d3sc-
cl-prove-1.0.0-2.5d71f02.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0hcrjv624csmq4fzdl5mmgckqhkgch9m-
cl-lift-1.7.1-2.2594160.drv
/gnu/store/0pkmlphr7b5qh2qcn0s2dd5j21s17g70-
cl-colors2-0.2.1-1.795aede.drv
/gnu/store/13d7g802smrz4pyy2sq7prxnl40j161d-
cl-trivial-backtrace-1.1.0-1.6eb65bd.drv
/gnu/store/15byqw6j33afa32xz2ns2bxk5hrymnn9-
prove-1.0.0-2.5d71f02-checkout.drv
/gnu/store/2x5c0dbbwy36vq5xn4kfgvyngxpis0bn-
gawk-5.1.0.drv
/gnu/store/46cl3xh0rq0wayzlzdwyxbb6jlw11jaa-
sbcl-prove-1.0.0-2.5d71f02.drv
/gnu/store/46v5awq3zzmz7fa56w8x86a4djn0gvh9-
coreutils-8.32.drv
/gnu/store/49inwwhvfqvzy7jnbm8mnggyp5vwlnc2-
guile-3.0.7.drv
/gnu/store/4jbm7nv3amxk79mpd2waar9p6p4ip2y7-
gzip-1.10.drv
/gnu/store/55f146153ia958kmy4a0ra40x4ncfrry-
binutils-2.37.drv
/gnu/store/7clf73hrqrnrqc032675zpfrwmz81bhi-
cl-flexi-streams-1.0.19.drv
/gnu/store/85lr8gnbmqainqfpyy62r7mw2bs3jb7w-
glibc-utf8-locales-2.33.drv
/gnu/store/8dzc2f6dbinmh2fmlslr86aj1zsls6jd-
cl-ppcre-2.1.1.drv
/gnu/store/95vwn6jqczsywq63hhmpyyhf06n2nf4k-
bzip2-1.0.8.drv
/gnu/store/cdw31drzz9wrh1wavd42dxcway30gf0j-
cl-fiveam-1.4.2.drv
/gnu/store/dldcpv52gphh2c2lzsvb2kar9bm9257x-
diffutils-3.8.drv
/gnu/store/gls28mzis5rc6l68cqcdxz5f3rqigyzg-
cl-anaphora-0.9.6.drv
/gnu/store/gmg8c3fq2jk22swvac7q4sss0i759bdi-
cl-colors-0.0.0-1.8274105.drv
/gnu/store/gyc95x4zrivz96r06mvw0blfickz06nr-
glibc-2.33.drv
/gnu/store/j3yphvbnvvdvbraw8kirg6bkv54blncz-
make-4.3.drv
/gnu/store/kssg2x0jhirhz6dmc8cfqyz7s71l258p-
cl-rt-1990.12.19-1.a6a7503.drv
/gnu/store/kwxl1cw5mnxmrdms5dhysg5jlhipmbjn-
sed-4.8.drv
/gnu/store/mjkj10mwj9ydvyirjaj98r31bakcdb02-
cl-trivial-gray-streams-2.0-1.2b3823e.drv
/gnu/store/mm3khj7cxb6k37i0wj2d2p9hc6628z7n-
findutils-4.8.0.drv
/gnu/store/mvr99njv93hwkfnx0zb1vnmn1fmv9bv9-
patch-2.7.6.drv
/gnu/store/q51fhpq73ifsq7pz1qgcpfh33q4amil0-
linux-libre-headers-5.10.35.drv
/gnu/store/sgi6rpqgvny1rzsx3i1zgfy6k5k1ij8i-
bash-minimal-5.1.8.drv
/gnu/store/v2yws3crf06h5qddcrsychmjryrfczpg-
module-import-compiled.drv
/gnu/store/vnag6lybmxs0z9b5qb0nf9qmw4x49z8r-
cl-clunit2-0.2.4-1.5e28343.drv
/gnu/store/w7ikavgnlwwivvk4rm7gmj9rbmpxpa6y-
tar-1.34.drv
/gnu/store/war06pdx70ccp9gm0804qxs8a8m5b4wc-
grep-3.6.drv
/gnu/store/wvqq3wih251lxdw1va0w95nyrh255chl-
cl-let-plus-0.0.0-1.5f14af6.drv
/gnu/store/wyhbnz9ixp4063skim6blpw71cdc3qg5-
xz-5.2.5.drv
/gnu/store/ymhxkyn312nnm64zpqgbzrpqlxsaji6d-
cl-alexandria-1.4.drv
/gnu/store/yq1ipfxpm3ysi31ww3d0vh2kgnf78q2q-
file-5.39.drv
/gnu/store/yr50v863qypgjkzbjgk7rhwzqayzl7aw-
gcc-10.3.0.drv
/gnu/store/z977hjmh66waha5vf9zsjckq1h5bigrg-
cl-ansi-text-2.0.1-1.8b129d8.drv
/gnu/store/zfvlpbgi63jv8hmbskdggl0hjb91qd71-
cl-net.didierverna.asdf-flv-2.1.drv
/gnu/store/zip5gipmvdaggvam5f619kkks4mjwfnz-
ld-wrapper-0.drv
Derivation details
Builder
/gnu/store/rsxyxd2f9jrc6gszbjf3rfzbhwazyrgh-
guile-3.0.7
/bin/guile
System
armhf-linux
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/c1r0vkjzdzs070nrlrmbdmma440m0sk6-
cl-prove-1.0.0-2.5d71f02