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

File name
/gnu/store/2k445k63r7xh1f93skihg5dky2ixhq8l-linux-libre-headers-5.4.20.drv
/gnu/store/3sy9in1qmwxd85g1d2465k1lwaljrlbp-make-4.3.drv
/gnu/store/3x4y56j3333cpn1xicprq4n924y5fy2s-binutils-2.34.drv
/gnu/store/6h5hp5kbnf38fcw56pchj10kfi86bg8a-gawk-5.0.1.drv
/gnu/store/6hpmkkx03m9kv9xfrln6wpcl131fn14s-tar-1.32.drv
/gnu/store/czixn0aq6kipf5gbj5y0123h9jalvqwr-bzip2-1.0.8.drv
/gnu/store/dzy1s5bz5ph4ffryjgabb207m17z3fhm-glibc-utf8-locales-2.31.drv
/gnu/store/fspxbj30ibygqn72zzmmakvkpq0rrag1-agda-2.6.0.1.drv
/gnu/store/h0isabki773mqmm8z28rmb8d4waxdzb3-coreutils-8.32.drv
/gnu/store/h55wfs803lj8nv0hrzvkd1zpvdm19iia-gzip-1.10.drv
/gnu/store/hiwshlpi0m96alsi568adwa3b6ssw5pv-sed-4.8.drv
/gnu/store/iwbvr49lxzic2vxkp4n2jr42xm2yaa3n-agda-ial-1.5.0-checkout.drv
/gnu/store/j5x9q9rii8sz2p7s1nvi014yam1lw632-guile-3.0.2.drv
/gnu/store/mbbx5gdp01jh9fdfnzihpls3dni3khqc-ld-wrapper-0.drv
/gnu/store/namlywf4v014381z55jgi4wvcr6xwq9n-file-5.38.drv
/gnu/store/ncz226r51avbd33yzxiv28z8zhzy0zgw-patch-2.7.6.drv
/gnu/store/nmvjr75ldd6qkaw13y7yzmqk288rn6pc-xz-5.2.4.drv
/gnu/store/pb0rpvb4c4xr1knbrhb6k4xn3kz5smjh-findutils-4.7.0.drv
/gnu/store/rfx3ryjc4wn2a9f3p4qb8lqkpi5s048r-gcc-7.5.0.drv
/gnu/store/wp0gcydir135pai5fvf4jdpabk61mi7f-glibc-2.31.drv
/gnu/store/wzzjxz43x1b3vmvp8y3n51nn9j28v40b-grep-3.4.drv
/gnu/store/yiqlhq54vgmi7df96ssdzln92c5vbivm-bash-minimal-5.0.16.drv
/gnu/store/z2c71kswl12wpfk7k99icd2z283zsq0r-module-import-compiled.drv
/gnu/store/zqfchhgl0l0pj3rybhg3dgmgkyyscdfm-diffutils-3.7.drv

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

File name
/gnu/store/8nx5h3sl7c4gs3c2yk82s26911i0656x-agda-ial-1.5.0