/gnu/store/rpzb3b3wr6l74pg3mwyaaj35rh84y5l5-cl-prove-1.0.0-1.4f9122b.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0ihhjpiy15h7j6cgk1l6z6az95wcydwp-cl-flexi-streams-1.0.18.drv
/gnu/store/0khkqdc4bcr9nbyg7h45hxspy6j14909-coreutils-8.32.drv
/gnu/store/1wld08ibgbxciq2wqlfrfs7i87p1lcbq-binutils-2.34.drv
/gnu/store/3gjjkdq3ll76lffa2563xx62h4w9cxks-linux-libre-headers-5.4.20.drv
/gnu/store/3jwiqbgrhrgalvks0hjkhbmf6vz2q3qs-file-5.38.drv
/gnu/store/3n8z7qd02zvm6g9j7kzjr6diybbasa2q-cl-ansi-text-1.0.0-1.53badf7.drv
/gnu/store/3zkjp4b4sv6caza9i0r17w6957313fi8-cl-trivial-backtrace-0.0.0-1.ca81c01.drv
/gnu/store/4wznskjs9z6v4mfj66p5j5rnnxgmb7hk-prove-1.0.0-1.4f9122b-checkout.drv
/gnu/store/6nqc2f1jvr6f6y1c9pqsm6ddx8jrgfnf-bash-minimal-5.0.16.drv
/gnu/store/6nvm10nv6wlkpyzdw0ja8llnn0c3afpb-sed-4.8.drv
/gnu/store/7hj8kbsqkm3qcpd8dyayx1c53r59ma2v-guile-3.0.2.drv
/gnu/store/9cdwvkm2r7nf9864qk32fa9g7bj0565x-gzip-1.10.drv
/gnu/store/9mr6mq6wqx1fv285aqq56l14m4yqq6a1-cl-fiveam-1.4.1.drv
/gnu/store/9z04i2yfif9wx69g88254xylfi2xrlnp-bzip2-1.0.8.drv
/gnu/store/a9jclbhrlrivchk565dc7dwxg7mjfkn0-cl-trivial-gray-streams-0.0.0-1.ebd59b1.drv
/gnu/store/ajb7id4hpgxxsm8lpihpf3ljhngynw7z-gcc-7.5.0.drv
/gnu/store/bqy3h3aw050vjby84i82cp02jylwsy0w-cl-ppcre-2.1.1.drv
/gnu/store/c5risfnmnqm45a29vi7n1f4wggjv3zsp-tar-1.32.drv
/gnu/store/c73q5wygvhp47jcy50rpnqjlc0wb1ll0-sbcl-prove-1.0.0-1.4f9122b.drv
/gnu/store/cx38mf7nj2fq3lpkjiv51rml3g7afi86-cl-lift-1.7.1-2.2594160.drv
/gnu/store/fa54nxwpjdycxzwb8b33ckapqpd4jx2m-module-import-compiled.drv
/gnu/store/fgn6d4mhn5bbzd0b17i0l592jqkav14i-make-4.3.drv
/gnu/store/fyazyla09myashz9dv10w21y77b8nlqz-gawk-5.0.1.drv
/gnu/store/gb91yqixlm04kcm3v930b7sjxzdgac6r-patch-2.7.6.drv
/gnu/store/gnjyl3b0rmcvcm3w6gr3yyx7izq7sz7n-cl-alexandria-1.2.drv
/gnu/store/gqlcp9clrx852m74ks57w24xkyp810k3-cl-net.didierverna.asdf-flv-2.1.drv
/gnu/store/h0hkp7bmw6pac373k0rif3nd2pl61vmp-cl-rt-1990.12.19-1.a6a7503.drv
/gnu/store/l6lyn24ri4izszdkxykgnlcbjb8zn24n-ld-wrapper-0.drv
/gnu/store/m9yqd2aspkhabvhdl3sc42f8vh1ls1ps-diffutils-3.7.drv
/gnu/store/ndk7v9wclr72zdcrs2r6afxj3r3bapgm-glibc-utf8-locales-2.31.drv
/gnu/store/r3mp02sakw7wgjlr0w8qmzlq5h01sywi-cl-anaphora-0.9.6.drv
/gnu/store/rk9inw2kf9mrqly2xprkxardpxcmhbjv-grep-3.4.drv
/gnu/store/rkbjigda3mpbb8gcxrgjdnmm1wnfq48y-findutils-4.7.0.drv
/gnu/store/saa7vhri8wnykvnjj4l08gs4mw22wp9v-cl-colors-0.0.0-1.8274105.drv
/gnu/store/szjp1fkk8m5n2jzvkfnjvmi429c1b56b-xz-5.2.4.drv
/gnu/store/szrk3i56cwshfn531n64i7643kx8q987-glibc-2.31.drv
/gnu/store/vzy29b02zgd73n3v624s1nqc14m63866-cl-let-plus-0.0.0-1.5f14af6.drv

Derivation details

Builder/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile
Systemx86_64-linux

Build status

Unknown

Outputs

File name
/gnu/store/y65m15a45whs7qjwc469ggrlp31fdrnc-cl-prove-1.0.0-1.4f9122b