/gnu/store/2z3f08pb5ckg8ssvi4918zj8271iiyj2-coq-coquelicot-3.4.1-checkout.drv

File name
/gnu/store/adwadha55iz9pic1bm5pcavp3r2v5l54-module-import-compiled.drv
/gnu/store/blqr3s17d0xjmy7dsk1dwnlpxw70b8mi-git-minimal-2.46.0.drv
/gnu/store/hpa2r52b58n42vibss9i0hrwih030ny2-gzip-1.13.drv
/gnu/store/k2fqxyx913l8mhrxxccd92f3468b962l-guile-3.0.9.drv
/gnu/store/sg98wvwg9cqszylrpf8cscxjmib1wydv-guile-gnutls-4.0.0.drv
/gnu/store/yibwpdp1i4akmnh3cy1fri1lgdcib7jc-guile-json-4.7.3.drv
/gnu/store/zkc3sbkwa71g4qcavbl7as4f9np3pr57-tar-1.34.drv
/gnu/store/znzg6q9k6mwi1d53a6nzzg44bfgjrnra-guile-lzlib-0.3.0.drv

File name
/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout

Builder	/gnu/store/dsry8li90yg8xqxnpxjf1p21r5xj7lvy-guile-3.0.9/bin/guile
System	`powerpc64le-linux`