/gnu/store/hjkh6hf4i4c33ys9qs85zxka7lv2jqd2-agda-ial-1.5.0.drv

File name
/gnu/store/012ki30s2rixrvsgcr4k40156w1hiyfa-patch-2.7.6.drv
/gnu/store/0yavhwz1q2xpznkkcnbnyhjwkyaws0pb-findutils-4.8.0.drv
/gnu/store/19n176g84p1viyixfxyh3ddk01vmws8q-ld-wrapper-0.drv
/gnu/store/1dqa6icd3jaa31r7fzhv7zpf2xn9vwcg-make-4.3.drv
/gnu/store/1gmf0l547rv7ikzrbr5kgngyskbl8shh-file-5.39.drv
/gnu/store/30v72y5dc7qvx6p2ir3akd4hkfyfh0gc-bzip2-1.0.8.drv
/gnu/store/5q4963cb7vyiq8daa5rbhnrzg3ahyz7j-binutils-2.37.drv
/gnu/store/76fv335awpz5c1b1pfz0jzvznpagvjsl-diffutils-3.8.drv
/gnu/store/7s7fpsa5rph2bz95f4svdyix758ziycl-sed-4.8.drv
/gnu/store/acicd4d531p7wak9a8vk5wsrdyp36b22-glibc-2.33.drv
/gnu/store/ayl5f78c9fsp9vmqsg1wkf8al9491pi2-linux-libre-headers-5.10.35.drv
/gnu/store/b3vil0kn9ffcisjxvq8w9zgvkkkqgv0k-guile-3.0.7.drv
/gnu/store/c5fk3qmdd2clv567gp6apw055bgk5mds-coreutils-8.32.drv
/gnu/store/g9gmqahwl4n1xmzliksyy59b7wf79zml-agda-2.6.2.1.drv
/gnu/store/g9zpzq86j34k9kg1fa7c7qs70ca7f0w2-agda-ial-1.5.0-checkout.drv
/gnu/store/h7a147c5igjrwx7pdagdwmshy73hm55g-module-import-compiled.drv
/gnu/store/hqik6vfbq0s5cv2kvk3dwrscgc9851kk-gcc-10.3.0.drv
/gnu/store/kn8h6ybwd3c8ynnvjzbxsak68jymdz15-bash-minimal-5.1.8.drv
/gnu/store/lil6aafjj13n0ky5f57cyc4bdgdb5lp3-glibc-utf8-locales-2.33.drv
/gnu/store/m8hg46ppbwqff13wgpn439nij4i45qh6-tar-1.34.drv
/gnu/store/n7dw9s8kg2kr5ip5dr9hvfqn9hhjnm1k-xz-5.2.5.drv
/gnu/store/p4801g78jz7x95rimi9f22qirrj83whd-gzip-1.10.drv
/gnu/store/qlv4l45lnjii96x3pd6wfgks36y0580f-grep-3.6.drv
/gnu/store/r5l14crp9dpbdqjsag6bqmg8i45lf27n-gawk-5.1.0.drv

Builder	/gnu/store/shajs4lnjdycnp3b0va74fa1mc8zmmmf-guile-3.0.7/bin/guile
System	`powerpc-linux`

Unknown

File name
/gnu/store/6cf0v4bf9jhclkfmb15mg210c5qfyrqw-agda-ial-1.5.0