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

File name
/gnu/store/02fghl4bv960cd26abm53198z76f1hrh-git-minimal-2.34.0.drv
/gnu/store/1j074g8zwlk0q10ldshn9azrij4nvn63-guile-3.0.7.drv
/gnu/store/4r8njgpwp312pgki1yzlazsccpr6rk1p-gnutls-3.7.2.drv
/gnu/store/625zd3alb9h5vxm2cxk6wvmgkd686ja8-guile-json-4.5.2.drv
/gnu/store/7478dkhzs1w1v3qbyixvg69hx9iywdx6-module-import-compiled.drv
/gnu/store/gw0nka2v9yr80frnyc8czdwmbvxz31ml-guile-zlib-0.1.0.drv
/gnu/store/m9lzjb9h7h6i5p9hdkhr7sayk3a9xmp7-tar-1.34.drv
/gnu/store/x4vdsp2p0k13i3v80cqq73ifhv3y9vpk-gzip-1.10.drv

Builder	/gnu/store/x3c8k0v2mmn0mjg3mh82zb3nmanfvq71-guile-3.0.7/bin/guile
System	`powerpc64le-linux`

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