Derive([("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout","r:sha256","12b0b412ed549e1a2875eb9c0411b470381a863b3d1ab72b7f57310d3fd3dede")],[("/gnu/store/0wb2dk5khs2rvwwi034zfwg87lisxj8p-gzip-1.10.drv",["out"]),("/gnu/store/2zqw9m01lm0qlscri66cmlwwpxwn79cb-guile-3.0.7.drv",["out"]),("/gnu/store/56f3n7js4rrlk9i38a64ip8ijm6lvcqf-guile-json-4.7.1.drv",["out"]),("/gnu/store/izl26z2ifhmm193an0r6fk89hcbq5pjh-tar-1.34.drv",["out"]),("/gnu/store/mwg1har8qg5hj1jh0mszqv51w68zhfva-gnutls-3.7.2.drv",["debug","doc","out"]),("/gnu/store/p72ik6x5hgq0blpwpnj08bqdiyf4fnhb-module-import-compiled.drv",["out"]),("/gnu/store/rnvsaqf4pawr3zk9zrywkf72x39186wd-glibc-utf8-locales-2.33.drv",["out"]),("/gnu/store/zapb7xi6ydrlm8y5qv26x15hhnrgri4d-git-minimal-2.37.2.drv",["out"]),("/gnu/store/zfg7sms0khk0gmli411gljh3iqqikbrx-guile-zlib-0.1.0.drv",["out"])],["/gnu/store/3n0bgsl5nq7y8x4zw9v0hbvbjbhpzb1y-git-download","/gnu/store/yb1hr0klywkks72kpz6yjwbfkipb043k-module-import"],"i586-gnu","/gnu/store/inb5f91sznk8w2ykzzzhpmxnqdh0hsci-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/yb1hr0klywkks72kpz6yjwbfkipb043k-module-import","-L","/gnu/store/lfrxr5r07pa63rinpwbnkdjl22cyhg9c-guile-json-4.7.1/share/guile/site/3.0","-L","/gnu/store/q89xszrqz4xrv8qg98p76gfcnkhbhnh9-gnutls-3.7.2/share/guile/site/3.0","-L","/gnu/store/rhvjm32gbr7wwlcs7ly6xvyrgysw8i9j-guile-zlib-0.1.0/share/guile/site/3.0","-C","/gnu/store/zv14sx0xnizil7qx73p9dknhqzfzza7i-module-import-compiled","-C","/gnu/store/lfrxr5r07pa63rinpwbnkdjl22cyhg9c-guile-json-4.7.1/lib/guile/3.0/site-ccache","-C","/gnu/store/q89xszrqz4xrv8qg98p76gfcnkhbhnh9-gnutls-3.7.2/lib/guile/3.0/site-ccache","-C","/gnu/store/rhvjm32gbr7wwlcs7ly6xvyrgysw8i9j-guile-zlib-0.1.0/lib/guile/3.0/site-ccache","/gnu/store/3n0bgsl5nq7y8x4zw9v0hbvbjbhpzb1y-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")])