Derive([("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout","r:sha256","12b0b412ed549e1a2875eb9c0411b470381a863b3d1ab72b7f57310d3fd3dede")],[("/gnu/store/224xn93458diyx3xk4xw3jfvynny7qrn-tar-1.34.drv",["out"]),("/gnu/store/35yjmxp9kn5r8k6h9rswb0csiixwlvys-guile-zlib-0.1.0.drv",["out"]),("/gnu/store/7k8zrl7z9v6h8wzbnhjjdnf8z5qb4z7v-guile-3.0.7.drv",["out"]),("/gnu/store/ivqxv2c3n603czmrghsm9l1lzr3z2b8n-git-minimal-2.38.0.drv",["out"]),("/gnu/store/mym4q4mmdqvfmnpqkhpn2ml0kzjxgcy7-gnutls-3.7.2.drv",["debug","doc","out"]),("/gnu/store/nkz17qsnlrsz4a55kj41ngg8canjn3v3-glibc-utf8-locales-2.33.drv",["out"]),("/gnu/store/nnjgggf69f44nn3srx721cw25wqrsqy1-module-import-compiled.drv",["out"]),("/gnu/store/nppaz127kk75hqws1wls0ma3y1lfvivd-gzip-1.10.drv",["out"]),("/gnu/store/xsfawmbzvbzqa9ar3mz91q4zihyb6k0d-guile-json-4.7.1.drv",["out"])],["/gnu/store/jqy7mp6xncqbbqx3m1z461p8r5pkbn46-module-import","/gnu/store/zsizc7n3vfff41i934npa12fh5hcwl54-git-download"],"i586-gnu","/gnu/store/kg7p91hcj6k8dap0im3s1wnx9vfmrjda-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/jqy7mp6xncqbbqx3m1z461p8r5pkbn46-module-import","-L","/gnu/store/1253y9xw8x7k0bryfaa97r2lk2gh0pw0-guile-json-4.7.1/share/guile/site/3.0","-L","/gnu/store/q09b24v43cp5h2zcx3mq9cashkncqyx7-gnutls-3.7.2/share/guile/site/3.0","-L","/gnu/store/0npsizkqjnx48r9x7rviajm8sfr9k891-guile-zlib-0.1.0/share/guile/site/3.0","-C","/gnu/store/bsbr535c67smyxm54fqhgri9wn05dl66-module-import-compiled","-C","/gnu/store/1253y9xw8x7k0bryfaa97r2lk2gh0pw0-guile-json-4.7.1/lib/guile/3.0/site-ccache","-C","/gnu/store/q09b24v43cp5h2zcx3mq9cashkncqyx7-gnutls-3.7.2/lib/guile/3.0/site-ccache","-C","/gnu/store/0npsizkqjnx48r9x7rviajm8sfr9k891-guile-zlib-0.1.0/lib/guile/3.0/site-ccache","/gnu/store/zsizc7n3vfff41i934npa12fh5hcwl54-git-download"],[("git commit","1b1083e86e0cddc20ff2f1a6b25c7a7eee2edf02"),("git recursive?","#f"),("git url","https://github.com/ProofGeneral/PG"),("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS"),("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout"),("preferLocalBuild","1")])