/gnu/store/advcg2vpxwiq2515gmsck7m02j1s2mcl-coq-coquelicot-3.4.1-checkout.drv

File name
/gnu/store/66rvbjabapcq7bjg0ajn7z94b216hdq8-module-import-compiled.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/zhamnvaq9hnq3a2sc199r86kgzwmbc7p-git-minimal-2.47.1.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`