/gnu/store/1lya6zfybdwypwx14vh84zd22pvhps5r-agda-ial-1.5.0.drv

File name
/gnu/store/0pcmv0zf522zygfx9zijjhgnl5yl8wi4-gzip-1.10.drv
/gnu/store/1qnahi2bcxsin7b1dsd7amy7pbi9h5ar-bzip2-1.0.8.drv
/gnu/store/606hcwg4rrpncd4x6x6w9cf93a9kpg12-binutils-2.34.drv
/gnu/store/6byv5bjjng03c3kv3bd94vpgh4lqljb9-agda-2.6.0.1.drv
/gnu/store/7mj2xfdx96k8bj40r3wbbq08670flczr-ld-wrapper-0.drv
/gnu/store/7rbicicw7b8jmphim3ia8fyip7kyz38g-module-import-compiled.drv
/gnu/store/7y6cwx15b5nhlcwl2cs49vnfmmhgpmzh-sed-4.8.drv
/gnu/store/akkmdgxiz66c6dxbn6v16n6dv1zj6fbk-linux-libre-headers-5.4.20.drv
/gnu/store/cqhba1wmz3dv5q1707ha2h7rwpwzylzw-xz-5.2.4.drv
/gnu/store/dydhjh88fmkrz1f6kjxm6k3pyxs3zkqc-guile-3.0.2.drv
/gnu/store/ffnxvzwygy7y9c37wj5llppq0j2nx72p-diffutils-3.7.drv
/gnu/store/fn6z0brlnnvf5im92xiyzgvcgd61fkp3-make-4.3.drv
/gnu/store/ggwdvxh91q5qwzvy0lpj1jznbg5z850d-bash-minimal-5.0.16.drv
/gnu/store/h79walb0kdl2nzcpwdadcrc0gi0hc609-gcc-7.5.0.drv
/gnu/store/h7ipz4rhra10a7228slhnx0170ah9pvz-patch-2.7.6.drv
/gnu/store/i2g65pf5v54wmz739nbh3va57x37hv5d-file-5.38.drv
/gnu/store/i3zy7la2x5az649a9a5rvap7p4rkbmkg-findutils-4.7.0.drv
/gnu/store/kd4i7z0l5j5vbcp3hfy74f57gs1n7fjw-coreutils-8.32.drv
/gnu/store/l53m8zca8vvgvsvxfg7c5smar8fhr8pb-gawk-5.0.1.drv
/gnu/store/nmww4r7y92bixm0p0svz37dn7ian1irb-tar-1.32.drv
/gnu/store/q6qx5q8nn0zxyx35vn3931midxck9b64-agda-ial-1.5.0-checkout.drv
/gnu/store/vqy8jzf2mm7arljgmximd9rx7yb4a28p-glibc-utf8-locales-2.31.drv
/gnu/store/xhdvxb8bn0yqydzr25nyv87dkwz5ay0k-glibc-2.31.drv
/gnu/store/z6rplk2fq72whrmhr2pbb8s3dqjba11q-grep-3.4.drv

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

Unknown

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