Derive([("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout","r:sha256","12b0b412ed549e1a2875eb9c0411b470381a863b3d1ab72b7f57310d3fd3dede")],[("/gnu/store/0mzi1jhgl7qc3qfgh3zpig2jx4kzp2jg-guile-zlib-0.1.0.drv",["out"]),("/gnu/store/13n779p6w2ngs0gr9rrfsr1ffk89h2f4-gnutls-3.7.2.drv",["debug","doc","out"]),("/gnu/store/74xd7mhnx062bpdlgiijanv6gp68as5n-git-minimal-2.37.2.drv",["out"]),("/gnu/store/abvvl7h6p0gm24gxjfamx2fhcllvrkb5-module-import-compiled.drv",["out"]),("/gnu/store/askqv4c97yxg835d0ckca4n0bql0pjsv-guile-3.0.7.drv",["out"]),("/gnu/store/bzmwvbyis48mzc572mjv1p5qp424h3qp-gzip-1.10.drv",["out"]),("/gnu/store/fbh5w9ff2zq5zs7v3hvi8ycx8xam4wsj-glibc-utf8-locales-2.33.drv",["out"]),("/gnu/store/fla7nw5hj2iajg4zz60n0j2caddhvfmm-tar-1.34.drv",["out"]),("/gnu/store/ps9pkfl1vfm127rsycqdr5kvj67n138g-guile-json-4.7.1.drv",["out"])],["/gnu/store/3zzrfj10hvmfv94h8d0hyxh9k95fasx9-git-download","/gnu/store/yb1hr0klywkks72kpz6yjwbfkipb043k-module-import"],"armhf-linux","/gnu/store/rsxyxd2f9jrc6gszbjf3rfzbhwazyrgh-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/yb1hr0klywkks72kpz6yjwbfkipb043k-module-import","-L","/gnu/store/lllk9c3371yvdkng8g6yhd3kmc7wfnd5-guile-json-4.7.1/share/guile/site/3.0","-L","/gnu/store/bla3j4k1z56vhnjsh2w7vv5xc84d78d9-gnutls-3.7.2/share/guile/site/3.0","-L","/gnu/store/dpqr54r8w66ay4rf4sf76yv7ljvdnzij-guile-zlib-0.1.0/share/guile/site/3.0","-C","/gnu/store/sjmqyrbk8l61qf4vjjbwb1m326g40lb1-module-import-compiled","-C","/gnu/store/lllk9c3371yvdkng8g6yhd3kmc7wfnd5-guile-json-4.7.1/lib/guile/3.0/site-ccache","-C","/gnu/store/bla3j4k1z56vhnjsh2w7vv5xc84d78d9-gnutls-3.7.2/lib/guile/3.0/site-ccache","-C","/gnu/store/dpqr54r8w66ay4rf4sf76yv7ljvdnzij-guile-zlib-0.1.0/lib/guile/3.0/site-ccache","/gnu/store/3zzrfj10hvmfv94h8d0hyxh9k95fasx9-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")])