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

Inputs
("/gnu/store/03rxdfj8mnlqsgxcpn0r80qvvnwdlq7g-bash-minimal-5.0.16.drv","["out"]),
("/gnu/store/11b9rnr9rv6lg7w3x9zm0m3k7k2by1fd-findutils-4.7.0.drv","["out"]),
("/gnu/store/14pzkf8v8zglw4lii6kzizfskziagzqq-cl-colors-0.0.0-1.8274105.drv","["out"]),
("/gnu/store/3v26f2bxcxq74nbk80cbgdyaqyrp9zhi-grep-3.4.drv","["out"]),
("/gnu/store/3x8djbf70rg9smds9is25k820fp1399z-prove-1.0.0-1.4f9122b-checkout.drv","["out"]),
("/gnu/store/4ahfa0ypll3cmfq23wj8b8cfflvf099m-cl-ansi-text-1.0.0-1.53badf7.drv","["out"]),
("/gnu/store/4h0fnvi0q3dvwc7v8ndgi7p7ww2avdgf-make-4.3.drv","["out"]),
("/gnu/store/65x2zc7cihfl0sdkrg3lnrdwcv3bisc1-bzip2-1.0.8.drv","["out"]),
("/gnu/store/7gkd4b3fzmhdjw0rcwrpln47s21g4z4j-guile-3.0.2.drv","["out"]),
("/gnu/store/7jvpzii6lnfy28l7js8fnh88q05yprcz-patch-2.7.6.drv","["out"]),
("/gnu/store/8zijqvknnnjq0cxng8jzhk4k5kj846cx-cl-fiveam-1.4.1.drv","["out"]),
("/gnu/store/a2mwx3r3x4ldb52a3wq3blly66pvmjkc-coreutils-8.32.drv","["out"]),
("/gnu/store/a2pv3z6gzbbasiji5fy7gwm36sx3yr31-cl-net.didierverna.asdf-flv-2.1.drv","["out"]),
("/gnu/store/ahpc360bs63b3c69zy9nhhy4hc8w0sba-binutils-2.34.drv","["out"]),
("/gnu/store/axhiqm9rfdw7lljis45p822jyy553aqk-xz-5.2.4.drv","["out"]),
("/gnu/store/axqr85f2yryg55578i6r4ywgzf8ssmvg-tar-1.32.drv","["out"]),
("/gnu/store/cjhfxigaag8c9q9mlwzdr0ygvidzphpj-cl-let-plus-0.0.0-1.5f14af6.drv","["out"]),
("/gnu/store/djbpksn1skxl10rqw7x00d2g041zb9cp-sbcl-prove-1.0.0-1.4f9122b.drv","["out"]),
("/gnu/store/fcjh8d0289sc3lybiyparlikh6gh4ils-cl-lift-1.7.1-2.2594160.drv","["out"]),
("/gnu/store/g1kza3437wsq6bpjmvdbrhm1g3najnpx-cl-trivial-backtrace-1.1.0-1.6eb65bd.drv","["out"]),
("/gnu/store/gp0q5w5rbwbs7m5sr590zzc7sylkq194-linux-libre-headers-5.4.20.drv","["out"]),
("/gnu/store/h5vm4xbbl9b8f1inqvrcfg72i3j9549f-gcc-7.5.0.drv","["out"]),
("/gnu/store/ir225hp4nanzamj4550pdj73ag0a4xdz-cl-ppcre-2.1.1.drv","["out"]),
("/gnu/store/m0w60kd0lz07mgny0xxvapyhinchihpl-cl-alexandria-1.2.drv","["out"]),
("/gnu/store/n1h2iw5j9nqb4qb3i62x2m05akxygahx-diffutils-3.7.drv","["out"]),
("/gnu/store/nih5lzr38qbkhq79m0x5mj6a8w06ssfy-glibc-2.31.drv","["out","static"]),
("/gnu/store/qmndyka64n0vn3ahw1qkr2a2zkpxnd4s-cl-anaphora-0.9.6.drv","["out"]),
("/gnu/store/shyx24v22rkpgphdzzy6y4h933fzgbm1-file-5.38.drv","["out"]),
("/gnu/store/w9hqacy5qawvhy776wcw61n1zfgw2vi5-glibc-utf8-locales-2.31.drv","["out"]),
("/gnu/store/wp4mda07w5xj4h2n60960gblvz5llhpi-module-import-compiled.drv","["out"]),
("/gnu/store/wq68fg3yi6pnjsf8dg2p47cvdbir8r96-cl-flexi-streams-1.0.18.drv","["out"]),
("/gnu/store/ws9ihda8g97kh5akykbb6l0c2gf3gcyl-cl-rt-1990.12.19-1.a6a7503.drv","["out"]),
("/gnu/store/wsy1dw40ih1ckrlfbsajan9xsc0w99zg-sed-4.8.drv","["out"]),
("/gnu/store/x961pqv9xzb2rkn57vyl17cwrhcr20f5-cl-trivial-gray-streams-0.0.0-1.ebd59b1.drv","["out"]),
("/gnu/store/xyl1528fav70gvn1jcq0aqvkr746w0vl-ld-wrapper-0.drv","["out"]),
("/gnu/store/y6z3wwb4xl8hha13mw5hg8k3ww5anksw-gawk-5.0.1.drv","["out"]),
("/gnu/store/ydv5a7l9p4ilhc8lgvwdz4179gmi5ipy-gzip-1.10.drv","["out"])