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

File name
/gnu/store/0fhm1557nrnp41wszrlxbhvwkl1qy1vm-glibc-2.31.drv
/gnu/store/10gn6p9zg540vgwzr22lb0qk95p6hb6a-grep-3.4.drv
/gnu/store/1n4vahrm1h2dml6bxg8hx6pffwwqb9nw-gcc-7.5.0.drv
/gnu/store/61dpmczpx5i3ggrw6rrzd2lq7v9vsy95-make-4.3.drv
/gnu/store/8kivkh33a533y8md7vml336jancpp6jk-module-import-compiled.drv
/gnu/store/c0lfsfk9h8szi6xnz3b22fv0a4ykzpgj-gzip-1.10.drv
/gnu/store/f86d2yfiwfvps0ngkzk0c69s9izb3fi4-tar-1.32.drv
/gnu/store/j1fh2x8jfhh2v1rnmasf4val965xy06j-coreutils-8.32.drv
/gnu/store/knkp6f2gf4pa6kwyihxb8i14bnzkly4k-agda-2.6.0.1.drv
/gnu/store/l31599l3rw4dqd2dlz1zgqmyfj2m5x8f-glibc-utf8-locales-2.31.drv
/gnu/store/l3825q57r2ap4n421mp4lpy5bbg6za93-ld-wrapper-0.drv
/gnu/store/m81ln6w8dk2fp7zwcg3msx0v9npb9w95-diffutils-3.7.drv
/gnu/store/mrz71jkmw8g0aazyx21pa9cn0mrqm63h-linux-libre-headers-5.4.20.drv
/gnu/store/pygh5vznrwnanabl5y7r8zlx61q3wiss-xz-5.2.4.drv
/gnu/store/q442pzw6xvqg725yirs0vqvy1zlbw3k6-guile-3.0.2.drv
/gnu/store/q7f33jvq9qa72mwj3drg21mlm4m77n0f-gawk-5.0.1.drv
/gnu/store/qybfwqx7n5wqc2d0id2y17ch15a0d4sa-bash-minimal-5.0.16.drv
/gnu/store/rm7fpx34r7ylv965gb564icyixxf41wh-binutils-2.34.drv
/gnu/store/s8z0himf5dd3a0yyhn15aj90gsz6ypqp-findutils-4.7.0.drv
/gnu/store/swqgdmgv4p0qsq007rl9n189y8jdcsmy-agda-ial-1.5.0-checkout.drv
/gnu/store/x5b42rc0ykvk46y3xpgwwb4hpv57xm3x-sed-4.8.drv
/gnu/store/xjrhnrbaiivw4066k4hkb6mrm02mfgv7-bzip2-1.0.8.drv
/gnu/store/zhbblsrfgbzl1v1zrvq35lj9spngn3qd-file-5.38.drv
/gnu/store/zyghkvpj0pi9dhnvfi7yaziwk2avpfxs-patch-2.7.6.drv

Builder	/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile
System	`armhf-linux`

Unknown

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