/gnu/store/4pjc61ygypasvvclrn6piwwcd4cwyfzw-proof-general-4.4-1.1b1083e-checkout.drv

File name
/gnu/store/2vxbfgs7ph3nwzmkg89s3cqffrpggbs5-tar-1.34.drv
/gnu/store/d0pdnp3a6sh08ggspl7h0671jw5ds1bp-module-import-compiled.drv
/gnu/store/dj9969d173hgdbcqb712gnssm8s2q3nh-gzip-1.10.drv
/gnu/store/h792rni1bknbcpv9qi3q6p84h83v2mb6-guile-json-4.5.2.drv
/gnu/store/ivp2ikryi056646h8rscrbwgh527mnxd-git-minimal-2.34.0.drv
/gnu/store/k0nbljcqwh3vk0yhdm7vrwz40yadb0b7-gnutls-3.7.2.drv
/gnu/store/n1kwc86a063ybi4dxjn41273k1rsvb08-guile-3.0.7.drv
/gnu/store/q2xfx8fwrisnbk3ccl8p2qz9w5mswdjw-guile-zlib-0.1.0.drv

Builder	/gnu/store/hii8vfc898aha0x3qdss12dk9gzimnsj-guile-3.0.7/bin/guile
System	`aarch64-linux`

File name
/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout