Derive([("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout","r:sha256","12b0b412ed549e1a2875eb9c0411b470381a863b3d1ab72b7f57310d3fd3dede")],[("/gnu/store/f55x1iiwkl46gipim3g1z7lhijp1i60q-guile-zlib-0.1.0.drv",["out"]),("/gnu/store/fjd0jc8iw33ddr12pjydwrz5l136pfil-gzip-1.10.drv",["out"]),("/gnu/store/p9419f5d2qpimg8kvgy81yjjs8xq73ri-module-import-compiled.drv",["out"]),("/gnu/store/pzzgvsy4n9i714grmnscn8a9mfps2ghj-gnutls-3.7.2.drv",["debug","doc","out"]),("/gnu/store/qjzbgd29idqcv8phbwchvbzc5d07420h-tar-1.34.drv",["out"]),("/gnu/store/rdcd8pc6jj5jvv73ga1z881whf0py1wr-guile-3.0.7.drv",["out"]),("/gnu/store/rw4cj4238zf2ps39r066iyzq2rfnfkf6-guile-json-4.5.2.drv",["out"]),("/gnu/store/v8fwfa6jax8p92g3gmjfgcbvrp1agqxd-git-minimal-2.34.0.drv",["out"])],["/gnu/store/b6kr4nxlk0wwf97ci6qk63k8kxmdn2ib-module-import","/gnu/store/nswkk4wd0n6a0y0a6mxjbcrfnzjkfzdp-git-download"],"powerpc64le-linux","/gnu/store/51a2z3p12w8h8bwih5zishd0waf4ry1m-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/b6kr4nxlk0wwf97ci6qk63k8kxmdn2ib-module-import","-L","/gnu/store/lwfwcgnhzzfl20vjgqjfd2mzxqq6z7k2-guile-json-4.5.2/share/guile/site/3.0","-L","/gnu/store/fvc5616p4n6gh9a02dh41db56y60qiqi-gnutls-3.7.2/share/guile/site/3.0","-L","/gnu/store/p7gfyczipwwgh2zx0y4xxiccaw2p0ypy-guile-zlib-0.1.0/share/guile/site/3.0","-C","/gnu/store/q3a8xc1yza3favyqa3r4sm7as0gvfz1k-module-import-compiled","-C","/gnu/store/lwfwcgnhzzfl20vjgqjfd2mzxqq6z7k2-guile-json-4.5.2/lib/guile/3.0/site-ccache","-C","/gnu/store/fvc5616p4n6gh9a02dh41db56y60qiqi-gnutls-3.7.2/lib/guile/3.0/site-ccache","-C","/gnu/store/p7gfyczipwwgh2zx0y4xxiccaw2p0ypy-guile-zlib-0.1.0/lib/guile/3.0/site-ccache","/gnu/store/nswkk4wd0n6a0y0a6mxjbcrfnzjkfzdp-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")])