/gnu/store/6j9i8qk8yh65nga26f492dcy5n3m2qvg-agda-ial-1.5.0.drv

File name
/gnu/store/1crlk7qi5fllbpa10cw77m8s4q3r3543-glibc-2.31.drv
/gnu/store/3z468xfyh08qry2zcmwwd1mgwd29ws8s-gcc-7.5.0.drv
/gnu/store/43haykfzwh65dalq7rrnjf64lpmpkkma-tar-1.32.drv
/gnu/store/6r7x6v3h8r03zpdhwiqajskkw215i57z-file-5.38.drv
/gnu/store/74cvbxvwiydz3w9kwc6nab7pxx2bjmk2-patch-2.7.6.drv
/gnu/store/7c53i0a7d3ibyc1yj52h2rxkzxkngzix-agda-ial-1.5.0-checkout.drv
/gnu/store/9y3406sxllzy9fcqkdn64i3ac9l145sc-sed-4.8.drv
/gnu/store/cz0v63x2gpdiai7136q5alvk1zsb26c4-guile-3.0.2.drv
/gnu/store/fbbbfvmcqza3scixafyl1lx1qhk7rfm8-xz-5.2.4.drv
/gnu/store/g4jmhzx1q25hi38mkc06gwiqwjlcb57h-binutils-2.34.drv
/gnu/store/h3kkpy6crx5hhap8f7z0lh3yji2kiix2-diffutils-3.7.drv
/gnu/store/hmcrixv37py2igm74cjk6m1h15k2aqy8-glibc-utf8-locales-2.31.drv
/gnu/store/hsapgdpjwg6xzkabin7qj1xksn92pix3-coreutils-8.32.drv
/gnu/store/i5lh2q9xrsazfi2gqigwr3n7rhw20081-module-import-compiled.drv
/gnu/store/iyjb23hdrjhqz5scz0ngialhziyiigc4-gzip-1.10.drv
/gnu/store/kyq8hg15kh10s942rzir4sc1zyglyr3l-gawk-5.0.1.drv
/gnu/store/lxkxg2m6rdv3sqh1pp590q9f9ncl3994-bzip2-1.0.8.drv
/gnu/store/q5brsb30xfh5x3skn664bwijdnd269jp-agda-2.6.0.1.drv
/gnu/store/qsh2xjsb3ab7wmniw7by4p60hn7j6bb6-make-4.3.drv
/gnu/store/ragiym08hgs5lz4hywagbv7g1z39wnyr-ld-wrapper-0.drv
/gnu/store/v2j9ya5x56j2kisyjwiig0id7w25hh6c-bash-minimal-5.0.16.drv
/gnu/store/vxkhg3wqavcswnwhqbk5h9d3b66l9afr-findutils-4.7.0.drv
/gnu/store/yi58264yrj5lc8ljf3r5v5yjgsvyfmsl-grep-3.4.drv
/gnu/store/zqadiils0f4hhgd2vkmkxmplajjizcgy-linux-libre-headers-5.4.20.drv

Builder	/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile
System	`aarch64-linux`

Unknown

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