Derive([("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout","r:sha256","12b0b412ed549e1a2875eb9c0411b470381a863b3d1ab72b7f57310d3fd3dede")],[("/gnu/store/4m0cmw76zvdd8vcqcam88771j8y1y0l7-guile-3.0.7.drv",["out"]),("/gnu/store/728f1dz7z6x4bv0p2wwm1rl101b98drm-tar-1.34.drv",["out"]),("/gnu/store/8iqnzx5xlx0h5jj8kvcs0ixqlsvkw2vb-gnutls-3.7.2.drv",["debug","doc","out"]),("/gnu/store/f0yh9m7w2q62vv28rjibrcwfjs09zlww-guile-zlib-0.1.0.drv",["out"]),("/gnu/store/n3h57n8vasznjy7c44mkk5q65x974n3x-guile-json-4.7.1.drv",["out"]),("/gnu/store/p94xkcl9kx119cxz0gq19ypjbcs2mdq0-gzip-1.10.drv",["out"]),("/gnu/store/rg11rp1x09p6as4z29v76dm48klf3ba5-module-import-compiled.drv",["out"]),("/gnu/store/w0v9lmqrdx887x2l784d3kdd5mz4irpa-git-minimal-2.38.0.drv",["out"]),("/gnu/store/xd1q7428i19x7hcp3kyr06gi3z9v8smb-glibc-utf8-locales-2.33.drv",["out"])],["/gnu/store/3lbv3hz2sszifn2c5dc6k1cksw7qygl5-git-download","/gnu/store/ki8nj9sxhwsmnzhg5wzw2n9jn067qdw9-module-import"],"aarch64-linux","/gnu/store/70pprbqqkqzrx40c1q5l9qqh29baa203-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/ki8nj9sxhwsmnzhg5wzw2n9jn067qdw9-module-import","-L","/gnu/store/hggfm8mzz010qxpfx3adihs7lmw26i8x-guile-json-4.7.1/share/guile/site/3.0","-L","/gnu/store/97p0b3r70g219mglrrq114x65mdr742b-gnutls-3.7.2/share/guile/site/3.0","-L","/gnu/store/k08rr9807h2hf173gyl7bcjiqagq1r4r-guile-zlib-0.1.0/share/guile/site/3.0","-C","/gnu/store/wgr2cm90gxhj21mic5df0x2ny00qsi8x-module-import-compiled","-C","/gnu/store/hggfm8mzz010qxpfx3adihs7lmw26i8x-guile-json-4.7.1/lib/guile/3.0/site-ccache","-C","/gnu/store/97p0b3r70g219mglrrq114x65mdr742b-gnutls-3.7.2/lib/guile/3.0/site-ccache","-C","/gnu/store/k08rr9807h2hf173gyl7bcjiqagq1r4r-guile-zlib-0.1.0/lib/guile/3.0/site-ccache","/gnu/store/3lbv3hz2sszifn2c5dc6k1cksw7qygl5-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")])