/gnu/store/q2g16060cgwfc9grnyr2w3pl20ccn8fn-
cl-prove-1.0.0-2.5d71f02.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/08y5b8i6pjpwv4w8w9201rg85nbz1drg-
binutils-2.37.drv
/gnu/store/090ydmlvn154bcrh6g7qbkman7f5xhzm-
sbcl-prove-1.0.0-2.5d71f02.drv
/gnu/store/1gz27z4v9a158wjqmln14b9axsibf99b-
cl-fiveam-1.4.2.drv
/gnu/store/26f7wq19dgr2jydzfrcmxqvavzh8w9y6-
cl-clunit2-0.2.4-1.5e28343.drv
/gnu/store/52xd8b9wp6k7px6zrgv2x9cmzv6kkn0z-
tar-1.34.drv
/gnu/store/5pklm9zak0wz8npfxhhi45hli87yja4v-
gzip-1.10.drv
/gnu/store/5zj52dsw61amn4gwwl1j8w99iiar9hpn-
cl-anaphora-0.9.6.drv
/gnu/store/608dqjwx25yl2w9r6sl8j788gbshr3yz-
cl-lift-1.7.1-2.2594160.drv
/gnu/store/62kknlbsxsb1470yw3jppvdjc5cxll36-
ld-wrapper-0.drv
/gnu/store/670vl66jl6qhb8q10q3l8mqv7xf9hw8n-
guile-3.0.7.drv
/gnu/store/735r67d71g72v0dv78lplml77iii8ibq-
sed-4.8.drv
/gnu/store/7npmy7dld2sq8xmkzxwa9g5jvfddfv8l-
gcc-10.3.0.drv
/gnu/store/7rdi5pckqshzzqd86sqx7qd8ba5ymdcq-
glibc-2.33.drv
/gnu/store/97zb4dslsrzq25bfyg5zpkddviwvmxqj-
diffutils-3.8.drv
/gnu/store/c2ilb8a7ga2lh0r8432094gbkc27ng8g-
cl-net.didierverna.asdf-flv-2.1.drv
/gnu/store/dqs5jm9qr7r1yzaq95a8jwny4w54gazd-
patch-2.7.6.drv
/gnu/store/dqsp8ffb8zwqz4y9h8a3r9wqfr9g1i4a-
prove-1.0.0-2.5d71f02-checkout.drv
/gnu/store/dy5v632782b5z6mbb61dcmj9cqy8mw3g-
bash-minimal-5.1.8.drv
/gnu/store/f098rl5n29213y76flkf3vdqbs42d1cd-
cl-flexi-streams-1.0.19.drv
/gnu/store/flfv3qpv1d2rby4c670zym9a1mj66m8l-
coreutils-8.32.drv
/gnu/store/fmq6zv7f3jipwqnkpn3prbyq76kpjghf-
cl-ansi-text-2.0.1-1.8b129d8.drv
/gnu/store/g5xb9mhmkz8659vq8q0qrpd191m9pshg-
cl-trivial-gray-streams-2.0-1.2b3823e.drv
/gnu/store/gfpl7a92gfkl7di624w9a5xa0knnwbhr-
cl-colors-0.0.0-1.8274105.drv
/gnu/store/hafbvpv4lig9wqjiip3bg5y2yv3bbfaf-
cl-ppcre-2.1.1.drv
/gnu/store/ixfxzp853jsnym8jm67jpjb8j1pab2n0-
file-5.39.drv
/gnu/store/j5i26alhkrw984kaxypr3607xrcyfvis-
findutils-4.8.0.drv
/gnu/store/krm0f1vl63mih8bdinah5aqr90sfi4iv-
grep-3.6.drv
/gnu/store/l5397f14adpxfgpv59cm392bjd6l4257-
hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/lqy1cwqqzmjcbyky3z2srg6ghx32x360-
glibc-utf8-locales-2.33.drv
/gnu/store/npskrjf2082scwaa5bshw0arcjz7mx1w-
cl-rt-1990.12.19-1.a6a7503.drv
/gnu/store/nr8bmpqxmcflw4lnpi7b1abz78igb50g-
module-import-compiled.drv
/gnu/store/nsn1r874rbykgxj8h43a0x7lz262ybxh-
cl-colors2-0.2.1-1.795aede.drv
/gnu/store/qz4043wq1li000l7zvszq702zfqrzlv5-
cl-trivial-backtrace-1.1.0-1.6eb65bd.drv
/gnu/store/rv9mddds3sr5hckqmz3cl4kbd27nmh36-
cl-let-plus-0.0.0-1.5f14af6.drv
/gnu/store/ryf8r4i72w2vh54jyya9igaggh9ywhld-
xz-5.2.5.drv
/gnu/store/sgrcn2khm0bi57isw7mjwshnnn66fhzj-
cl-alexandria-1.4.drv
/gnu/store/yi17klnfkpkwm71sclfpxr1lbl8s8x22-
make-4.3.drv
/gnu/store/z6s2hxamx175bf5wkgqxr1dj68z1afhd-
gawk-5.1.0.drv
/gnu/store/zbnbn7wd3scysnk3d43lahfqapyc5ki1-
bzip2-1.0.8.drv
Derivation details
Builder
/gnu/store/inb5f91sznk8w2ykzzzhpmxnqdh0hsci-
guile-3.0.7
/bin/guile
System
i586-gnu
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/50m6jvm7a5r5hs5n35nrc2jr2m1b5p1a-
cl-prove-1.0.0-2.5d71f02