Derive([("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout","r:sha256","12b0b412ed549e1a2875eb9c0411b470381a863b3d1ab72b7f57310d3fd3dede")],[("/gnu/store/20dr0nmwgfcpjifkhlxa1q3if7ybaqni-tar-1.34.drv",["out"]),("/gnu/store/50cv1m9prij28wg9l8n6qcjzp2f1q359-gzip-1.10.drv",["out"]),("/gnu/store/6l0ggflsa6h70dmp248cqqir2l7x5fip-guile-json-4.7.1.drv",["out"]),("/gnu/store/d2q07c7iywqzf1xi024sfk6n0h1g0ilj-gnutls-3.7.2.drv",["debug","doc","out"]),("/gnu/store/f3bwsb1xf6ivxm57hxzw35ilrjijf7bn-git-minimal-2.38.0.drv",["out"]),("/gnu/store/m82584986b7fc9ki14rva0iyclgihp0v-guile-3.0.7.drv",["out"]),("/gnu/store/n0qhv5ah6j1aa0vvaz8r6mx2rj23xqb7-module-import-compiled.drv",["out"]),("/gnu/store/rch02bk2bc05ddpm493bw6k9wpkzhzxs-guile-zlib-0.1.0.drv",["out"]),("/gnu/store/w94n9f3xgsdgbjvi2ariix56kif49nca-glibc-utf8-locales-2.33.drv",["out"])],["/gnu/store/bwp8ghaiah4i8x8b9fakzn7nj1z6kczb-git-download","/gnu/store/jqy7mp6xncqbbqx3m1z461p8r5pkbn46-module-import"],"i586-gnu","/gnu/store/inb5f91sznk8w2ykzzzhpmxnqdh0hsci-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/jqy7mp6xncqbbqx3m1z461p8r5pkbn46-module-import","-L","/gnu/store/iq7p2mq527dpk81y0jhqp7cvdl5wjysk-guile-json-4.7.1/share/guile/site/3.0","-L","/gnu/store/k5hg22livyz234q55ywcxg3pfaqcvnz8-gnutls-3.7.2/share/guile/site/3.0","-L","/gnu/store/xy1w4akx5hdb4b2p9q207q7cy8d1s1za-guile-zlib-0.1.0/share/guile/site/3.0","-C","/gnu/store/2c9v7li1y79aqk70dmry9m2z5r91dqjj-module-import-compiled","-C","/gnu/store/iq7p2mq527dpk81y0jhqp7cvdl5wjysk-guile-json-4.7.1/lib/guile/3.0/site-ccache","-C","/gnu/store/k5hg22livyz234q55ywcxg3pfaqcvnz8-gnutls-3.7.2/lib/guile/3.0/site-ccache","-C","/gnu/store/xy1w4akx5hdb4b2p9q207q7cy8d1s1za-guile-zlib-0.1.0/lib/guile/3.0/site-ccache","/gnu/store/bwp8ghaiah4i8x8b9fakzn7nj1z6kczb-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")])