/gnu/store/3a2r56kzcyylvcamicl86wxyxdc5c2mr-agda-ial-1.5.0.drv

File name
/gnu/store/194c8pqpd7b5m63yzz5zywfrb2nx8zjg-glibc-2.33.drv
/gnu/store/2hg6w2rqy0rpx7agv4rn2ll7vb7sbaqf-grep-3.6.drv
/gnu/store/34vrkgk1qnnjg4f4d58ygh230z9g9jjl-gawk-5.1.0.drv
/gnu/store/3d5wsm7icnr6hkrc7snsf2f00y4zwyn3-agda-2.6.2.2.drv
/gnu/store/3hkablb49p9a4gphqb2n75i31xcxdix6-linux-libre-headers-5.10.35.drv
/gnu/store/5qjj1kn6axv4hy8js1m6yi4rf2mk3iwn-tar-1.34.drv
/gnu/store/9rabmhmchbmkwr58099c1hllqflwq5r9-binutils-2.37.drv
/gnu/store/ajds7fk3kmzw5lnjjr1fqsa7x91b1xc9-make-4.3.drv
/gnu/store/bwnhl5di3vj27k8ymc7i07djz2iq8ym7-coreutils-8.32.drv
/gnu/store/csl9j8bmm1gyn7vpzzn3z4g2k6d6qh0z-glibc-utf8-locales-2.33.drv
/gnu/store/gl32lmyqvf0vvmapdms2kw12yyxwxj33-gzip-1.10.drv
/gnu/store/hapk20xrhbxikdadp56zglghad24fgv5-file-5.39.drv
/gnu/store/lfdq2z2x3c351g3ygb1940p08jqwlf89-module-import-compiled.drv
/gnu/store/m19nc275s2nz1f172mnm7zc2w2zxwhb6-patch-2.7.6.drv
/gnu/store/nbsapwl2swx35fd1rfiwwdg8bccspnbx-agda-ial-1.5.0-checkout.drv
/gnu/store/nxlhlkjqs233kncnrg2hd7zwphbwk0ri-guile-3.0.7.drv
/gnu/store/pf36rhaxjp2hp6jl1yyqgx05407hlal0-xz-5.2.5.drv
/gnu/store/qiycpi0sv63db555cp25m0rbdjxidxga-gcc-10.3.0.drv
/gnu/store/szan44yiaz4r68bs868vn52hcg0hyls8-sed-4.8.drv
/gnu/store/vw8fa8igldh8nv0mqysynqvyxwcc1dib-bash-minimal-5.1.8.drv
/gnu/store/xnzyc5imnf5rpnwjppb19d9qfh7z8gf7-diffutils-3.8.drv
/gnu/store/y3f2c2x70iwk2r62s4i38c90lp8wv0ff-bzip2-1.0.8.drv
/gnu/store/yh1ik1sk8kh3zcrzcf7c38fj32dgg9jw-findutils-4.8.0.drv
/gnu/store/yiqpp1g4p9kkfsk47gvn8ddg0g07zvfl-ld-wrapper-0.drv

Builder	/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-guile-3.0.7/bin/guile
System	`x86_64-linux`

File name
/gnu/store/73nvyh4938byjb46sk1smbyqq7cyjaqp-agda-ial-1.5.0