Derive([("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout","r:sha256","12b0b412ed549e1a2875eb9c0411b470381a863b3d1ab72b7f57310d3fd3dede")],[("/gnu/store/29x9p8kdfj0ac355a670c7vx5zdclrsv-guile-3.0.7.drv",["out"]),("/gnu/store/46lryrg2xxfvjaipgwm94z7bi13k7bvi-git-minimal-2.37.1.drv",["out"]),("/gnu/store/4s4d0szdh5naxb9sla8bavg4nnj5b30v-guile-json-4.7.1.drv",["out"]),("/gnu/store/9sgfjfjngn5z3375rfclsv0ay205r3z8-tar-1.34.drv",["out"]),("/gnu/store/jdz3lzlcza12yn09sjx8zksvmv65sjx0-guile-zlib-0.1.0.drv",["out"]),("/gnu/store/lw1k289w9b25zk8647j7v52bmppyb84y-gzip-1.10.drv",["out"]),("/gnu/store/rmdxlab8p4jrgx50r5k9ga16rgd1zc3l-module-import-compiled.drv",["out"]),("/gnu/store/xjjwvcc4vnvydj14p2rx42c0ykwfc4f4-gnutls-3.7.2.drv",["debug","doc","out"]),("/gnu/store/yjhsmxirk85nry8krbxbx2mbjgl4mpzn-glibc-utf8-locales-2.33.drv",["out"])],["/gnu/store/zirrppwib75vs438zf2s3wb08gdqxr76-module-import","/gnu/store/zqfj7a5bl9fy3iwdlymxyihrjlidlbxi-git-download"],"riscv64-linux","/gnu/store/m8bfw3z558lfk3h0n5xpsqbv9m6ls2r0-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/zirrppwib75vs438zf2s3wb08gdqxr76-module-import","-L","/gnu/store/6bcr9x382rhjk3jvg133gprjy45nfcb3-guile-json-4.7.1/share/guile/site/3.0","-L","/gnu/store/cww0bxgi8k708saq256wgi1ns15gj1i8-gnutls-3.7.2/share/guile/site/3.0","-L","/gnu/store/ik4j7p2gqka1kcnm631iiakizr6y7cwa-guile-zlib-0.1.0/share/guile/site/3.0","-C","/gnu/store/z2dckypn23g3792y510514y45rl7r1vy-module-import-compiled","-C","/gnu/store/6bcr9x382rhjk3jvg133gprjy45nfcb3-guile-json-4.7.1/lib/guile/3.0/site-ccache","-C","/gnu/store/cww0bxgi8k708saq256wgi1ns15gj1i8-gnutls-3.7.2/lib/guile/3.0/site-ccache","-C","/gnu/store/ik4j7p2gqka1kcnm631iiakizr6y7cwa-guile-zlib-0.1.0/lib/guile/3.0/site-ccache","/gnu/store/zqfj7a5bl9fy3iwdlymxyihrjlidlbxi-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")])