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

File name
/gnu/store/1hpv3d95f9xm7hfi5yvp7fpz341jndlb-agda-ial-1.5.0-checkout.drv
/gnu/store/1nzc5fwsv7lgyqhnmmragikh8mli74rp-xz-5.2.4.drv
/gnu/store/1vjj37rkf5csdn2f810k6a6lik22dkjl-ld-wrapper-0.drv
/gnu/store/2lmdda09kxqzxhfiid7sryv8dzfzxcvn-make-4.3.drv
/gnu/store/4jwin41xpm0ndjzb2c43p8k28rxsa992-diffutils-3.7.drv
/gnu/store/5y9lfi7q2k91m7zl4ws4yzabvn53caw9-binutils-2.34.drv
/gnu/store/8fxbxdlbxa9zfyi27yczjzyhigavccjh-bzip2-1.0.8.drv
/gnu/store/b83v27mhy1y5w31cgxxc2krxvshik8k2-bash-minimal-5.0.16.drv
/gnu/store/bghd7z7y3zq3ilf06fxppaiyg6wj9rhf-gawk-5.0.1.drv
/gnu/store/d999ayg4ijapqxiwbn40f963hzazabd1-tar-1.32.drv
/gnu/store/f417ikqrsarh20ypyhkv48zpzh4982fj-gzip-1.10.drv
/gnu/store/hknqainda0ardh1ch1grrazislmmm1js-module-import-compiled.drv
/gnu/store/i4z94idm7ad2x06cbnvzpg9s9nn7554b-guile-3.0.2.drv
/gnu/store/ik8pfllhp2qkz2ckjkzh6j0mqvp7lzbq-coreutils-8.32.drv
/gnu/store/k5r1729xjjzpgs5kpykadq2zvf6lnq04-file-5.38.drv
/gnu/store/nc10pmhfav2qff8pi6lwpqf1gg4s7kkw-findutils-4.7.0.drv
/gnu/store/p2qf8gha74b668710455vf5k8qxhpxnp-glibc-utf8-locales-2.31.drv
/gnu/store/pvnd8k37zra4f54hjy2g6vlb9axk2zrw-grep-3.4.drv
/gnu/store/pvwf49a6q7cn116anxy884b9l8vfns1f-glibc-2.31.drv
/gnu/store/rbzinrzdd02ym6zdx2i39gfqw14v67ya-gcc-7.5.0.drv
/gnu/store/rgvwykjjk6r1f70823bsn8q9sc9vcq41-agda-2.6.0.1.drv
/gnu/store/rx58xlpnpn4jdv23vmxgydw3qr22kz5z-patch-2.7.6.drv
/gnu/store/s8ws1alsrz94vfa4cy5f5zd1fvpckjci-linux-libre-headers-5.4.20.drv
/gnu/store/yjijliy5g9hp85xxdayb2rr0m5dryh2p-sed-4.8.drv

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

Unknown

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