/gnu/store/329gw35rjp2yvs1y6b663izzld998wsz-agda-ial-1.5.0.drv

File name
/gnu/store/2yvsiw3p7rmadzgppd8k57qx1y9dypc4-guile-3.0.2.drv
/gnu/store/3pp2r4d0w44749p2kl06jabc76jlbgfm-module-import-compiled.drv
/gnu/store/41zlpxy167mr5fawr3jpmkcdbxi2hl53-grep-3.4.drv
/gnu/store/5cnfra36whbjj2sc4283ydfcsddd12ky-bash-minimal-5.0.16.drv
/gnu/store/5g9q3gzp87490gpi9x89d18cn0hkkmn9-patch-2.7.6.drv
/gnu/store/61yahw7nn5zlnj27i4v48lh3hcrp5xsj-findutils-4.7.0.drv
/gnu/store/6b03kl9yb58pflmsipsr0b5jz8bwyp0k-gcc-7.5.0.drv
/gnu/store/6hnwlp8ak8y9ja9pc8wkifqqbavdm92f-gawk-5.0.1.drv
/gnu/store/9g6dp7gm6yrs73ri2qq9ihkp1mvrrww3-agda-ial-1.5.0-checkout.drv
/gnu/store/9p730yx3z10s8ygyz3400pj2lgf6rswv-make-4.3.drv
/gnu/store/9y2i2mib693kva6l0lv3aq2ddcjr30x6-gzip-1.10.drv
/gnu/store/bcxc57nbfd9q9ds93xmk9nyds3fw3qls-glibc-2.31.drv
/gnu/store/c7d6vmp3vkg12y2701db6l6ikby2a514-ld-wrapper-0.drv
/gnu/store/d0zxxp2h09q426w7h6wxqqzclhg508ph-diffutils-3.7.drv
/gnu/store/f87mbzfvr7xv0jd5np2c6nfpf7bjm451-coreutils-8.32.drv
/gnu/store/jjlxq13kbh6a3wvpzlhf9g2nr9jq7s67-binutils-2.34.drv
/gnu/store/l3brlk4f65ak0h5w0xr4h2rips9n0160-glibc-utf8-locales-2.31.drv
/gnu/store/l65vq79yrimq5vl2pvjgz86zs97nasw8-linux-libre-headers-5.4.20.drv
/gnu/store/ldpr3dk8i7xnpcllva26rng4jnfr28ff-sed-4.8.drv
/gnu/store/sd3y8lzrc8w0j2amll9cibm0dfvpfzlw-file-5.38.drv
/gnu/store/sxchw936vg8ayqs9pwig7fyy2lh22331-bzip2-1.0.8.drv
/gnu/store/vksxf5yjj222bq2aday571aw0dnp3k2w-xz-5.2.4.drv
/gnu/store/x54i6h5afhhwbcad7b2qpq8sdkf12f8m-agda-2.6.2.drv
/gnu/store/zcagjg0968slj27z09nj1vhaz486ig9q-tar-1.32.drv

Builder	/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile
System	`powerpc64le-linux`

File name
/gnu/store/ajrvhkf9r9s0vdy6bl28n15s4r74j2sx-agda-ial-1.5.0