Derive([("out","/gnu/store/l0bpkfkwhyiii0kgcap700cgdn4gnz4q-prove-1.0.0-1.4f9122b-checkout","r:sha256","6c133a17928a2e713a8855c46fad5cbb8a89917295e2d0b75c0bfd5408774b1f")],[("/gnu/store/ahqn2n7zc4zv4p7c8ayxrmpz3mnabnlf-gzip-1.10.drv",["out"]),("/gnu/store/b7pdymq2zsd1nxgziyl9zy354wx15jkn-tar-1.32.drv",["out"]),("/gnu/store/crfrnk0aldfh7cagad3bzd96n7jlpcx5-module-import-compiled.drv",["out"]),("/gnu/store/ixvfk3g1x4s64qr9fcjcmkzdxviich6j-gnutls-3.6.12.drv",["debug","doc","out"]),("/gnu/store/k1iyjajklnjhnp7cjlys7ldnlqi75crj-guile-zlib-0.0.1.drv",["out"]),("/gnu/store/ly9gzpnmffn4vn71jcm0dlkpm0317nrp-guile-3.0.2.drv",["out"]),("/gnu/store/p8j9dw921v9wisj4v8l252bmm36aph2z-git-minimal-2.29.2.drv",["out"]),("/gnu/store/ymhglyskczs99hrs30q6agk7d7ylhsd4-guile-json-4.4.1.drv",["out"])],["/gnu/store/1j14ngl23893z0i7ydgf25fdxqpi6g3x-module-import","/gnu/store/8iw5i6w6iyfi98v37npj2wm9p3f4nfan-git-download"],"i686-linux","/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile",["--no-auto-compile","-L","/gnu/store/1j14ngl23893z0i7ydgf25fdxqpi6g3x-module-import","-L","/gnu/store/386p49n7j1jq318az3hcji0yhsbh6y97-guile-json-4.4.1/share/guile/site/3.0","-L","/gnu/store/iz9d41fm7i4zycp0bhk63zbqaxxdvfgs-gnutls-3.6.12/share/guile/site/3.0","-L","/gnu/store/r1rabhblw28r5c7gdhmfkf1lmr14dfm8-guile-zlib-0.0.1/share/guile/site/3.0","-C","/gnu/store/rjaibgv61n7m5gxk1g65rdvbvq1h80fk-module-import-compiled","-C","/gnu/store/386p49n7j1jq318az3hcji0yhsbh6y97-guile-json-4.4.1/lib/guile/3.0/site-ccache","-C","/gnu/store/iz9d41fm7i4zycp0bhk63zbqaxxdvfgs-gnutls-3.6.12/lib/guile/3.0/site-ccache","-C","/gnu/store/r1rabhblw28r5c7gdhmfkf1lmr14dfm8-guile-zlib-0.0.1/lib/guile/3.0/site-ccache","/gnu/store/8iw5i6w6iyfi98v37npj2wm9p3f4nfan-git-download"],[("git commit","4f9122bd393e63c5c70c1fba23070622317cfaa0"),("git recursive?","#f"),("git url","https://github.com/fukamachi/prove"),("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS"),("out","/gnu/store/l0bpkfkwhyiii0kgcap700cgdn4gnz4q-prove-1.0.0-1.4f9122b-checkout"),("preferLocalBuild","1")])