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

File name
/gnu/store/13jdvhs4inkr165blwmqqa6hjmsjlxlz-grep-3.4.drv
/gnu/store/1kmx9v545f7s3zxc3lpf672n5azy144m-gzip-1.10.drv
/gnu/store/2vvgqywfswk2fflkwvfw5wwszydz2bl9-gawk-5.0.1.drv
/gnu/store/30smx25j0vs46w8rhs0l0ya41m7fkn7k-xz-5.2.4.drv
/gnu/store/31100zqdwmyf88svh45ri1pi33x21rwv-binutils-2.34.drv
/gnu/store/50wknqrirnppb5i2nlvbyhhnn8p2y88m-patch-2.7.6.drv
/gnu/store/87b9lgvy17c0mplx23fdqn9hnxvy1k8g-tar-1.32.drv
/gnu/store/9hiwbfg7vxfa2bivxb5nv4kfpbjxnpx4-sed-4.8.drv
/gnu/store/c2x9yqhh6rb7x9gbvllpzl9aqhzjlzrg-agda-ial-1.5.0-checkout.drv
/gnu/store/cp1n4qwwibx8jwjdrysaa3argqnlr1zd-ld-wrapper-0.drv
/gnu/store/fgnwnryfgm5y1hxpvxh2vl7j0m42nh7l-file-5.38.drv
/gnu/store/g0aldmx6jfl25x6lmlkq54n0dhv6j6sk-module-import-compiled.drv
/gnu/store/gzjw5z41b08m2jzrw1c5vhgsgk94njqw-coreutils-8.32.drv
/gnu/store/ikhypklgcp8qszlch2nz2xwf45k78r2h-bash-minimal-5.0.16.drv
/gnu/store/mk1h1i1qbah0xvs7yaa28i1nl73qzqfr-diffutils-3.7.drv
/gnu/store/n4qiww8n1b8086vvw0lmmlrpbby047wi-glibc-utf8-locales-2.31.drv
/gnu/store/n8ijr0kcgd9ncjnx7jn4v9yv35hw6m75-findutils-4.7.0.drv
/gnu/store/nccrdw53i10k9a5r9gkis68h4qm0489n-make-4.3.drv
/gnu/store/pg7xmb23km1aj7pam1nckq1dlqhzbb89-guile-3.0.2.drv
/gnu/store/rjz8kda0dzabw8s36yy2fx381kmi93rg-agda-2.6.0.1.drv
/gnu/store/rzmv807z8qhqv63p4a2yf6sqcx8pglcc-gcc-7.5.0.drv
/gnu/store/s66ns0cvdzbshivlvw5ywz0x8wbn55sv-bzip2-1.0.8.drv
/gnu/store/wwqcrjvrcvv8yvb02f3wa8pxw20cysqz-linux-libre-headers-5.4.20.drv
/gnu/store/xmw7vlkwxi5pynz2zf3bd8r5m59cpm26-glibc-2.31.drv

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

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