/gnu/store/zmzdyxqmjnh589ar1n6yyph94afqvvd6-
cl-prove-1.0.0-2.5d71f02.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/01mqx581dqhw947rzj2x83cb4c3aafq6-
bash-minimal-5.1.8.drv
/gnu/store/0i34znhwb9j19f65lyd302cqzma5bywp-
gcc-10.3.0.drv
/gnu/store/0vmqb9mba28dsj2dylqi7bliqyg7a336-
make-4.3.drv
/gnu/store/14fzg4dzg62zi2n1iac9rx3x71917mav-
guile-3.0.7.drv
/gnu/store/1lc5q34fj8nmlqv35950cpz6i09gipg4-
cl-let-plus-0.0.0-1.5f14af6.drv
/gnu/store/2nxgscz5k760yikxj7w6cqncvsg2a4m6-
findutils-4.8.0.drv
/gnu/store/2rvkrr30ij2869xq3p3wq1i8w0sppmn5-
cl-clunit2-0.2.4-1.5e28343.drv
/gnu/store/55qmvwfdf87s2474gnsd56p2748f0p3g-
gzip-1.10.drv
/gnu/store/76ncc0xr7khrmmhisi2a16bqx2ppvkk2-
sed-4.8.drv
/gnu/store/7aj3hcqljv1gpjrsgpicfgq2kdpmdncd-
cl-rt-1990.12.19-1.a6a7503.drv
/gnu/store/7i72a65x74mi0krihyjril5qgzi3bwri-
tar-1.34.drv
/gnu/store/7rjhzk6gcd45v71c3z43ivmwnvhw3jw7-
cl-trivial-gray-streams-2.0-1.2b3823e.drv
/gnu/store/7sy2q025w6s9yjz8yphk0xvcynjfjdkd-
glibc-utf8-locales-2.33.drv
/gnu/store/9k09qj5mkaazpffqmjcrav1xxr8zyccm-
bzip2-1.0.8.drv
/gnu/store/9qadkkfngcwgcsmdp238dg88w9ln2kcp-
glibc-2.33.drv
/gnu/store/axcm3kjmy6fg8aavv1l6qjq1vbvihkjv-
cl-ansi-text-2.0.1-1.8b129d8.drv
/gnu/store/b5cbj1apwjxx2c1zlf8wg41igrhgmbi7-
xz-5.2.5.drv
/gnu/store/c6n1hxji93fwpcg5p1zbzg510rjhmczx-
cl-fiveam-1.4.2.drv
/gnu/store/c86psnialb3pfwqw8jpm3m3g43bjg3yd-
sbcl-prove-1.0.0-2.5d71f02.drv
/gnu/store/fyarvlvf3h67xskmpcgw9ghbi59vzf20-
grep-3.6.drv
/gnu/store/grjpabvc1g6m7h4vxk7dcspa9ixdqkah-
binutils-2.37.drv
/gnu/store/l1b08ppsf0anma1lagqjac4fz4aiq2d0-
cl-colors-0.0.0-1.8274105.drv
/gnu/store/lyyr01d9n9wblzqh43h132z888c63wg4-
cl-lift-1.7.1-2.2594160.drv
/gnu/store/m0m06wpm2axkpaknml29w343vf79ypdf-
cl-anaphora-0.9.6.drv
/gnu/store/ml1drv8szilrymkzicw9s06af8f2554v-
gawk-5.1.0.drv
/gnu/store/ns2d0n2v3486h6yflb3rm3nwgcvqsxky-
cl-net.didierverna.asdf-flv-2.1.drv
/gnu/store/p63vk39bqcyb4iidw19v4402cja80hpr-
module-import-compiled.drv
/gnu/store/pc1kh8lnk4qr0ar483rsd8xlbjh3dkhn-
cl-flexi-streams-1.0.19.drv
/gnu/store/qmzzbf2fvfgz0v9s64k4w50pd0ivw7j1-
diffutils-3.8.drv
/gnu/store/qv9f6qwd0vsljwcj2x565wlqfb7vxjqp-
patch-2.7.6.drv
/gnu/store/v61965djsyay72jjvrgpw3yk8w950iya-
cl-ppcre-2.1.1.drv
/gnu/store/vccycsz0gmxakmsqk32qk492nq1hgf0h-
coreutils-8.32.drv
/gnu/store/vymx4n48dgzh0hmp0isz4yicrh8bqp0a-
file-5.39.drv
/gnu/store/wclv3hq0z503j10xqcd40xfmfb9xzrba-
cl-colors2-0.2.1-1.795aede.drv
/gnu/store/xsiny5v2y64a7npabnrgyh1myvgmz0r1-
ld-wrapper-0.drv
/gnu/store/xvpzv74v0pcafin0dvvgmq012q28fg18-
prove-1.0.0-2.5d71f02-checkout.drv
/gnu/store/xwh1h1mdzyh87j87msj9didafwx651i1-
linux-libre-headers-5.10.35.drv
/gnu/store/y0j1y78ad77awk41yazw294xqxf2gfg0-
cl-alexandria-1.4.drv
/gnu/store/y5jxksybfzqhwnv74mgprq79p2gnpaj4-
cl-trivial-backtrace-1.1.0-1.6eb65bd.drv
Derivation details
Builder
/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-
guile-3.0.7
/bin/guile
System
i686-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/wz8m9in3n91dngvxzi3pzg3p2ygr2rrk-
cl-prove-1.0.0-2.5d71f02