Derive([("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout","r:sha256","12b0b412ed549e1a2875eb9c0411b470381a863b3d1ab72b7f57310d3fd3dede")],[("/gnu/store/136420vq8nac700bb0iv5v81dgbp2r05-module-import-compiled.drv",["out"]),("/gnu/store/9b81d5fcvf6xndfqs1x4ss6kq85vrg96-gnutls-3.7.2.drv",["debug","doc","out"]),("/gnu/store/a1cjpf8b33kdsc0iplczf0ldc87d4zj9-guile-json-4.5.2.drv",["out"]),("/gnu/store/bgyhxacdrszl9bwh3hs7v60zsrzy0l3w-glibc-utf8-locales-2.33.drv",["out"]),("/gnu/store/f9cnp3k8bp11krf897brms10amv261mn-git-minimal-2.36.0.drv",["out"]),("/gnu/store/gkmvwyrqig23rvybic60na6pnxnsq9yk-guile-3.0.7.drv",["out"]),("/gnu/store/ldi693hkax27v07pf65skjx49fg9sd1n-tar-1.34.drv",["out"]),("/gnu/store/s0g67p7sx1n0hxcdmpd3ca08xmrrcx9y-gzip-1.10.drv",["out"]),("/gnu/store/yyhdx7ajqy7c63rkn582srl8rnf5hx1z-guile-zlib-0.1.0.drv",["out"])],["/gnu/store/sz1pb2c30r8mpfqv2yi0mr0m2k0j4k9g-git-download","/gnu/store/zirrppwib75vs438zf2s3wb08gdqxr76-module-import"],"powerpc-linux","/gnu/store/shajs4lnjdycnp3b0va74fa1mc8zmmmf-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/zirrppwib75vs438zf2s3wb08gdqxr76-module-import","-L","/gnu/store/h25abk28d5yvcyznjibchxzjyn8fm3pw-guile-json-4.5.2/share/guile/site/3.0","-L","/gnu/store/iwi49jr66kpjzsv2c89lf2szgn5hh854-gnutls-3.7.2/share/guile/site/3.0","-L","/gnu/store/0xya6bs8czz4p3d9hz6h463f88sa1np0-guile-zlib-0.1.0/share/guile/site/3.0","-C","/gnu/store/xrzq6zwsqhpy16gv9qfr234axwdnchch-module-import-compiled","-C","/gnu/store/h25abk28d5yvcyznjibchxzjyn8fm3pw-guile-json-4.5.2/lib/guile/3.0/site-ccache","-C","/gnu/store/iwi49jr66kpjzsv2c89lf2szgn5hh854-gnutls-3.7.2/lib/guile/3.0/site-ccache","-C","/gnu/store/0xya6bs8czz4p3d9hz6h463f88sa1np0-guile-zlib-0.1.0/lib/guile/3.0/site-ccache","/gnu/store/sz1pb2c30r8mpfqv2yi0mr0m2k0j4k9g-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")])