Derive([("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout","r:sha256","12b0b412ed549e1a2875eb9c0411b470381a863b3d1ab72b7f57310d3fd3dede")],[("/gnu/store/1yl3brh61cz10d1fvaifb7jggj01mlxj-gnutls-3.7.2.drv",["debug","doc","out"]),("/gnu/store/78ijwv2cg2651npr1kna60zyrnc5jy1i-guile-zlib-0.1.0.drv",["out"]),("/gnu/store/bfavj9pyfb2m48pawyyibx6f4gmjgmmy-tar-1.34.drv",["out"]),("/gnu/store/psv1j490rzfxv6r55qk3ap7rnajgrgmy-guile-3.0.7.drv",["out"]),("/gnu/store/qggpjl9g6ic3cq09qrwkm0dfsdjf7pyr-glibc-utf8-locales-2.33.drv",["out"]),("/gnu/store/vkq16pzz2alki86yd020jxgm4cpxdf7w-module-import-compiled.drv",["out"]),("/gnu/store/wk33374yg6qshcn7d74wiaagblgh1rhq-guile-json-4.7.1.drv",["out"]),("/gnu/store/ymdkgn8qfa46c6pw4l9a7n54krcbhg5x-gzip-1.10.drv",["out"]),("/gnu/store/zrjdy2aqfd9pjcxrhdzaxwfhv5b7drap-git-minimal-2.38.1.drv",["out"])],["/gnu/store/1xrj4g14hv3qmnvyin1cx4hkd84yxykd-git-download","/gnu/store/jqy7mp6xncqbbqx3m1z461p8r5pkbn46-module-import"],"x86_64-linux","/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/jqy7mp6xncqbbqx3m1z461p8r5pkbn46-module-import","-L","/gnu/store/fxm3lv2i0x28zksfkvwj3illrrplm9pc-guile-json-4.7.1/share/guile/site/3.0","-L","/gnu/store/zl9wf0zwq2ka9rpmayp53hnp2mn460xf-gnutls-3.7.2/share/guile/site/3.0","-L","/gnu/store/i03bxwialv5vzvfwrm0mrnnxli4lswys-guile-zlib-0.1.0/share/guile/site/3.0","-C","/gnu/store/706pryg1h2b9v3hssrwyn6494ksxbkvq-module-import-compiled","-C","/gnu/store/fxm3lv2i0x28zksfkvwj3illrrplm9pc-guile-json-4.7.1/lib/guile/3.0/site-ccache","-C","/gnu/store/zl9wf0zwq2ka9rpmayp53hnp2mn460xf-gnutls-3.7.2/lib/guile/3.0/site-ccache","-C","/gnu/store/i03bxwialv5vzvfwrm0mrnnxli4lswys-guile-zlib-0.1.0/lib/guile/3.0/site-ccache","/gnu/store/1xrj4g14hv3qmnvyin1cx4hkd84yxykd-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")])