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

File name
/gnu/store/0pcqkmb1md7kqc5kckxjxa4zvw8rahi5-gzip-1.10.drv
/gnu/store/6kggy7czgjf435li5bj46z3gp3i5bmx4-git-minimal-2.34.0.drv
/gnu/store/81j3vixmsv6mbj0w54yn8aj520qlrfzv-guile-zlib-0.1.0.drv
/gnu/store/klwmbpxyy6dgm1jg5knhslpbpwr9sgl7-module-import-compiled.drv
/gnu/store/lp8i108hvck800p9bds8lifdqb91c8iq-gnutls-3.6.15.drv
/gnu/store/n5cy1j3afx1yddm7sw8zbg3cfb5kcy5m-guile-3.0.2.drv
/gnu/store/nl0y7xnm50dbmq9mfpzinshd5vh1ln9b-guile-json-4.5.2.drv
/gnu/store/vy9jvw9fvcxjz7b7x3cscq2nbhaqpd93-tar-1.32.drv

Builder	/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile
System	`x86_64-linux`

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