/gnu/store/6zkjls66nc22wdr6w4xw94fk7klhkjyk-cl-prove-1.0.0-1.4f9122b.drv

Inputs

File name
/gnu/store/0dfww5h5ry42wv1n11ln6yisllhz03l9-cl-lift-1.7.1-2.2594160.drv
/gnu/store/0nqidmdb1ic9jxw5wz543gp57m7k5a5i-cl-alexandria-1.2.drv
/gnu/store/17n4gi5f2dlpwv5yamqw79mpnwa0b4zg-tar-1.32.drv
/gnu/store/1w3fmrjhiprqrmkbdb1x2jfdn447g84n-cl-flexi-streams-1.0.18.drv
/gnu/store/3n9hc7yx2mqg5w52ig22q6dpd7jmln21-make-4.3.drv
/gnu/store/43charibrh16xgxiir2jmzz1g38yz1bx-sbcl-prove-1.0.0-1.4f9122b.drv
/gnu/store/4fargb6cm69yg4ivfdzs4gz62r4ihm1c-cl-ansi-text-1.0.0-1.53badf7.drv
/gnu/store/4z202j54wwv9124ch38f04lhxvjssydg-grep-3.4.drv
/gnu/store/62z05j1m3kcvgsvmgp4x37byynwikyx1-cl-rt-1990.12.19-1.a6a7503.drv
/gnu/store/71wiwhw1gkv43rss2ayk55i7di9rfdb6-sed-4.8.drv
/gnu/store/8rnc3bp90w8m5jz4ncggx7i3zqm72w2i-glibc-utf8-locales-2.31.drv
/gnu/store/9prhgghs7xb7gqhp107mvhla630w81wy-cl-trivial-backtrace-1.1.0-1.6eb65bd.drv
/gnu/store/achn3l0vncp9pyyhg0v2a2v9iaaaxacj-cl-let-plus-0.0.0-1.5f14af6.drv
/gnu/store/bpxr2wnfv16xmqa0p011764jbiskrp75-bzip2-1.0.8.drv
/gnu/store/bq8pyg820gw11r4lsi78pr7nwg3dshdp-prove-1.0.0-1.4f9122b-checkout.drv
/gnu/store/g06mlkl74if539jlvxcwz12xv27gixqj-binutils-2.34.drv
/gnu/store/g7llm64iq0zbz9s1fsf0ny64fiwy2gm5-gzip-1.10.drv
/gnu/store/gn6lnxz8s6kycdcxkqsxkw7lh6kcm78f-coreutils-8.32.drv
/gnu/store/gq1xbalnfqgy3c7wk0idjgbwkb2c3vbb-guile-3.0.2.drv
/gnu/store/gwfx7rf8c4l9wg1g90sximkvs9dyisxq-file-5.38.drv
/gnu/store/j31ykbb5jwig0jk48250nj0x4g29cfqk-bash-minimal-5.0.16.drv
/gnu/store/jm4kxpvrw0h1h0sq2if5cnvbjvw0zlvx-cl-net.didierverna.asdf-flv-2.1.drv
/gnu/store/k5rgkb4h5rnzmj7rhkgzcbg56js3f1n9-diffutils-3.7.drv
/gnu/store/l33w9hmpi7aiq7kam8pryw3z2prv7dw6-patch-2.7.6.drv
/gnu/store/mdyzhg7my76p87f2hl89im0f9i893z9a-xz-5.2.4.drv
/gnu/store/pcy40k00f1im8kh3qmdxjnfjw3qnk5rn-cl-colors-0.0.0-1.8274105.drv
/gnu/store/pxdr7rf67qrw00k6sfqqxpczd6av73w0-gawk-5.0.1.drv
/gnu/store/qr31kqmdany1yq0pprpvv9mq3dni9840-glibc-2.31.drv
/gnu/store/qyip3rqysz3fyw5n3pmwnzpwk2wyr6n3-cl-anaphora-0.9.6.drv
/gnu/store/rbqpym91ayb8w9vz62ghxiwg3s9vwzif-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/s082sbkh2n2aaaj6naz1yl6hzspqkkiq-gcc-7.5.0.drv
/gnu/store/s1yv4gwz6pjsayk8mh2vj13n5czqsrp7-module-import-compiled.drv
/gnu/store/v2yhhfwa01fz0h4hlv33x9xik7nnc5y8-findutils-4.7.0.drv
/gnu/store/w6z3pg81rmgay7c0xz5ip83znrxyp47n-cl-fiveam-1.4.1.drv
/gnu/store/xav1cj988nj6njsmhd543v52nhph28fs-ld-wrapper-0.drv
/gnu/store/xp9sk8shnkwyn6bxxq7b4g5k3v9rzp48-cl-trivial-gray-streams-0.0.0-1.ebd59b1.drv
/gnu/store/yhcaj7wa0js54k8nkmdl05l2fqlxvd5q-cl-ppcre-2.1.1.drv

Derivation details

Builder/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile
Systemi586-gnu

Build status

Unknown