Derive([("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout","r:sha256","12b0b412ed549e1a2875eb9c0411b470381a863b3d1ab72b7f57310d3fd3dede")],[("/gnu/store/7l3z97qv8pivnxhxyq368syf324245cd-gzip-1.10.drv",["out"]),("/gnu/store/dd0ld110jvdiq0g23g85437w13wnzn6w-gnutls-3.7.2.drv",["debug","doc","out"]),("/gnu/store/lw6ry7l8gcmx4nlx1zdzjhd6yjxx3mpv-guile-zlib-0.1.0.drv",["out"]),("/gnu/store/mn8ib45v2fyz4v10qhdiaann80hvbwwg-tar-1.34.drv",["out"]),("/gnu/store/n9wqhziqhi3z17bsmb8r1j95hpg4srsa-git-minimal-2.36.1.drv",["out"]),("/gnu/store/pm1142hd20z11lqh3sd952x1k8rgfidy-glibc-utf8-locales-2.33.drv",["out"]),("/gnu/store/pnljaadg2fm5dfq8vim8g87bxninj29q-module-import-compiled.drv",["out"]),("/gnu/store/rhvag2m83xf1p5305zgdn50nv9dmknm8-guile-json-4.5.2.drv",["out"]),("/gnu/store/sqmn34cxqjd00k5k6clggmfrzimx34qj-guile-3.0.7.drv",["out"])],["/gnu/store/8vgfxily8ak3v0xm1r5wdg1gidy62l6n-git-download","/gnu/store/zirrppwib75vs438zf2s3wb08gdqxr76-module-import"],"i686-linux","/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/zirrppwib75vs438zf2s3wb08gdqxr76-module-import","-L","/gnu/store/74blrfm0ikapg4ja7hs95bhxc1fzhah8-guile-json-4.5.2/share/guile/site/3.0","-L","/gnu/store/6mh0g9dwpwldznp6pchcr5j4rrf67a53-gnutls-3.7.2/share/guile/site/3.0","-L","/gnu/store/ppmrziwmwd1qa3y08w3b907kg2smpzlz-guile-zlib-0.1.0/share/guile/site/3.0","-C","/gnu/store/wk41c69k0s5g1x97qvgdmw90vd0cqm0n-module-import-compiled","-C","/gnu/store/74blrfm0ikapg4ja7hs95bhxc1fzhah8-guile-json-4.5.2/lib/guile/3.0/site-ccache","-C","/gnu/store/6mh0g9dwpwldznp6pchcr5j4rrf67a53-gnutls-3.7.2/lib/guile/3.0/site-ccache","-C","/gnu/store/ppmrziwmwd1qa3y08w3b907kg2smpzlz-guile-zlib-0.1.0/lib/guile/3.0/site-ccache","/gnu/store/8vgfxily8ak3v0xm1r5wdg1gidy62l6n-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")])