Derive([("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout","r:sha256","12b0b412ed549e1a2875eb9c0411b470381a863b3d1ab72b7f57310d3fd3dede")],[("/gnu/store/7k7brvv8w3w5cq5dgy62khigb5aksy4d-guile-json-4.7.1.drv",["out"]),("/gnu/store/bai3mrz61czc08hg4ryfnk7q342nrgv9-gnutls-3.7.2.drv",["debug","doc","out"]),("/gnu/store/cbl6q9ljxlyqnnr44jh32ly4zbx9bibk-git-minimal-2.36.1.drv",["out"]),("/gnu/store/cxnzn5b2ybbsvrnc1sbrig1bg1pdhnyy-guile-zlib-0.1.0.drv",["out"]),("/gnu/store/fsfa54z2nvqhlnlnpzi9sf4ycb0rmi62-guile-3.0.7.drv",["out"]),("/gnu/store/hhh5aqc9bzvkn7gnnl0xj3zspc2a1b19-module-import-compiled.drv",["out"]),("/gnu/store/qidw9yq5i7h6xlrw5cycg5w0l897r6xh-tar-1.34.drv",["out"]),("/gnu/store/rm43jakvdyl4ik9mnpmm4sbvdw53miza-gzip-1.10.drv",["out"]),("/gnu/store/z5d2fascv2i4pjpyw9x185isvskjx6xh-glibc-utf8-locales-2.33.drv",["out"])],["/gnu/store/j122y2v179riwb36c8svsxrazln1nmv0-git-download","/gnu/store/zirrppwib75vs438zf2s3wb08gdqxr76-module-import"],"powerpc64le-linux","/gnu/store/x3c8k0v2mmn0mjg3mh82zb3nmanfvq71-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/zirrppwib75vs438zf2s3wb08gdqxr76-module-import","-L","/gnu/store/jqhmq8w9jn0201ingj9cn4jr363q02nf-guile-json-4.7.1/share/guile/site/3.0","-L","/gnu/store/15p8ahgdc9688cj4ji6q4bml0dhhwd5a-gnutls-3.7.2/share/guile/site/3.0","-L","/gnu/store/gzwfm5zjwk76fdy9ksx9b16v7jjmxw64-guile-zlib-0.1.0/share/guile/site/3.0","-C","/gnu/store/l82854gbjxi7jhl9zy0qqvpjqh5k0nzy-module-import-compiled","-C","/gnu/store/jqhmq8w9jn0201ingj9cn4jr363q02nf-guile-json-4.7.1/lib/guile/3.0/site-ccache","-C","/gnu/store/15p8ahgdc9688cj4ji6q4bml0dhhwd5a-gnutls-3.7.2/lib/guile/3.0/site-ccache","-C","/gnu/store/gzwfm5zjwk76fdy9ksx9b16v7jjmxw64-guile-zlib-0.1.0/lib/guile/3.0/site-ccache","/gnu/store/j122y2v179riwb36c8svsxrazln1nmv0-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")])