/gnu/store/i7rpn919b0zn8ix6glpsmhizsf3lji1f-
cl-prove-1.0.0-1.4f9122b.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0dg4ask6d0zkldy30hzdbfv6rx1lhb1v-
bzip2-1.0.8.drv
/gnu/store/1b479cmn82a5y03j7a6yzf1yv0s35rps-
gzip-1.10.drv
/gnu/store/373np4a9vjnkayn2fcs99yr4z8ckv45f-
cl-net.didierverna.asdf-flv-2.1.drv
/gnu/store/3qrkz1pig4hkzd4aa05291rfar2c2pcc-
ld-wrapper-0.drv
/gnu/store/4wivpn2wkw6sq14k12v8f83mdiqq19gr-
make-4.3.drv
/gnu/store/60valggfq6aqayl3xnsgh9cfx2x3jlky-
cl-fiveam-1.4.1.drv
/gnu/store/73xlshxr5kdcg8p55dj80wy86nxcqbcz-
binutils-2.34.drv
/gnu/store/79r3rvd7sqjhnc0z8gz3rjasjqkpnzs8-
bash-minimal-5.0.16.drv
/gnu/store/8apjjzvgaiidngjkl56lf92ayzbp6cps-
linux-libre-headers-5.4.20.drv
/gnu/store/8fh655981vi441fy8pi0bbl1hag5vpdq-
cl-trivial-backtrace-1.1.0-1.6eb65bd.drv
/gnu/store/9dvnq4j66xmgiy5c6avxanalr31l5nfg-
cl-lift-1.7.1-2.2594160.drv
/gnu/store/9pickn61pa19nnxcsn9hm1yq48w81b3z-
cl-anaphora-0.9.6.drv
/gnu/store/aly7cdhf8rvy3a2yhw1pbkpi9bi649aw-
cl-trivial-gray-streams-0.0.0-1.ebd59b1.drv
/gnu/store/axk3mkgajp0c2n3imnsxd41y2gyb164m-
cl-rt-1990.12.19-1.a6a7503.drv
/gnu/store/b2w1mwkvgjvyicz26giihidvhxsvlma6-
file-5.38.drv
/gnu/store/bgsrcywk6c5vv70p598w17ir0sswda7s-
sed-4.8.drv
/gnu/store/c3g1ffh7nawi11n97zcgnhdq8j9xvyk4-
coreutils-8.32.drv
/gnu/store/c4fw8p6696hpka7jd2cfmx2rh84f0zdy-
module-import-compiled.drv
/gnu/store/cbcllrsw1icksrr3wn3czb4ssdj9z3ga-
glibc-utf8-locales-2.31.drv
/gnu/store/f1fg07szhi0ip86ak68pl1nl4lapviyz-
sbcl-prove-1.0.0-1.4f9122b.drv
/gnu/store/gp9knhnmd73x41fx9yjdgkgzx4w9152h-
cl-alexandria-1.2.drv
/gnu/store/hbcn3kzxygmkihivznd7kycmw3k08iw8-
cl-flexi-streams-1.0.18.drv
/gnu/store/hx2zx78g6y8xi1msihy7v1wff4alrhmp-
cl-let-plus-0.0.0-1.5f14af6.drv
/gnu/store/i43vk4k342jrq7vc7pc4hpb39p78q864-
patch-2.7.6.drv
/gnu/store/i6vdh4dgjq63ycr5r4jb8jjc5jz2mrvd-
xz-5.2.4.drv
/gnu/store/km4zncax6d9winc69jw9wypgawbnzg4s-
diffutils-3.7.drv
/gnu/store/mach57n63mqqim1sr8kwrwi7dvlxhvfp-
gcc-7.5.0.drv
/gnu/store/nx1nvwh5vv2z8dibgcckvngiwgsyzldj-
glibc-2.31.drv
/gnu/store/pc7l3k34g49595c64zh9fw9smddnaj5p-
grep-3.4.drv
/gnu/store/s8ghlvcsnl8rznfprmzx60kfjdl852fg-
findutils-4.7.0.drv
/gnu/store/smrbggxx7w4l96l2a2qs69srnv4c88jr-
tar-1.32.drv
/gnu/store/v55gqbg9q7y2b1d4yx4i1jsifrx0ssbf-
cl-ppcre-2.1.1.drv
/gnu/store/vfh0j4gs2k7icj4aim6kbvz4rv90iw7b-
gawk-5.0.1.drv
/gnu/store/wj90gbxvglygp6jrifnsq4k0kgf29kw7-
cl-ansi-text-1.0.0-1.53badf7.drv
/gnu/store/xcas9wjb02bf81qf3x12nswfzdf2nymc-
prove-1.0.0-1.4f9122b-checkout.drv
/gnu/store/yc8d3wi7jx87asbhyci628a9648qpahh-
guile-3.0.2.drv
/gnu/store/ymkxwsyk0gjl8av8inadhgcfi1ml0ddn-
cl-colors-0.0.0-1.8274105.drv
Derivation details
Builder
/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-
guile-3.0.2
/bin/guile
System
i686-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/kqsi8axjpagkr200146mwl3sdm3ygi61-
cl-prove-1.0.0-1.4f9122b