Derive([("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout","r:sha256","12b0b412ed549e1a2875eb9c0411b470381a863b3d1ab72b7f57310d3fd3dede")],[("/gnu/store/1kskx0cq6apjb16dvaxfdx8fda8y5bvd-module-import-compiled.drv",["out"]),("/gnu/store/2d19717in2j5nlfypavsg8nrc5ijwx5l-gnutls-3.7.2.drv",["debug","doc","out"]),("/gnu/store/56gkp5264qrm9fcygklypa10aknhglxk-guile-json-4.7.1.drv",["out"]),("/gnu/store/6r4mwrkn6wh84a3rfzjlp6yfzf2x2vbj-guile-zlib-0.1.0.drv",["out"]),("/gnu/store/j7kjm8pij485m1lfcb98yf7niia0r04z-glibc-utf8-locales-2.33.drv",["out"]),("/gnu/store/kfl55fcabcjh4kqidxn1r84sgl2j9y3q-gzip-1.10.drv",["out"]),("/gnu/store/r3xx1zlkdjnn18jsvhfd4ax9i7scq352-git-minimal-2.37.1.drv",["out"]),("/gnu/store/sn35rll9q1bspvkcg644yblxp1j878xl-guile-3.0.7.drv",["out"]),("/gnu/store/whs2ihf0hmnldrnp28z7dcy4l0l7gvcf-tar-1.34.drv",["out"])],["/gnu/store/07mlvf5knhnlg4wgv1mif2wf52s7p0gd-module-import","/gnu/store/1chdhh3h5nfzzpw3j5wh6pygldcaa607-git-download"],"mips64el-linux","/gnu/store/x70k2a9bbpn04ri4ls31p0cm3sc0kjq8-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/07mlvf5knhnlg4wgv1mif2wf52s7p0gd-module-import","-L","/gnu/store/w2lr3wg9b83wqknhjp63cfrscfr5cfmy-guile-json-4.7.1/share/guile/site/3.0","-L","/gnu/store/7snwgqgyx15rvkh71jz8xa5ps452k0aa-gnutls-3.7.2/share/guile/site/3.0","-L","/gnu/store/sa9c6yky24qjxbjqh6hrzgkpb6i13dgh-guile-zlib-0.1.0/share/guile/site/3.0","-C","/gnu/store/byy3fa2cikxin600ms9bh6ji3c4f5v4b-module-import-compiled","-C","/gnu/store/w2lr3wg9b83wqknhjp63cfrscfr5cfmy-guile-json-4.7.1/lib/guile/3.0/site-ccache","-C","/gnu/store/7snwgqgyx15rvkh71jz8xa5ps452k0aa-gnutls-3.7.2/lib/guile/3.0/site-ccache","-C","/gnu/store/sa9c6yky24qjxbjqh6hrzgkpb6i13dgh-guile-zlib-0.1.0/lib/guile/3.0/site-ccache","/gnu/store/1chdhh3h5nfzzpw3j5wh6pygldcaa607-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")])