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

File name
/gnu/store/03m4j9qyr7lq2m3m6sv67hc26lmp6pzy-glibc-2.31.drv
/gnu/store/1x4fhf06bpr64d74hliq40qdy3wa7rif-module-import-compiled.drv
/gnu/store/24dx1rrfkvz7d5kn92glrm7icc7sdmzz-coreutils-8.32.drv
/gnu/store/47qy2f9xj4scc57sm5hpz2nxn1kvnga0-xz-5.2.4.drv
/gnu/store/799sb1fzy20kyjby3pli1zkhxydap98v-gzip-1.10.drv
/gnu/store/8g47imygjjrgkqyxd5ws9awzhlhwp2m3-binutils-2.34.drv
/gnu/store/a75mbkicp5nkabhdhd76bgvv3sl573by-gcc-7.5.0.drv
/gnu/store/arkrmr7r69bnyg1z19caw4chxg4v01by-glibc-utf8-locales-2.31.drv
/gnu/store/iqllla0dmpryfkyhcvmqsn8ykhnqq0jq-guile-3.0.2.drv
/gnu/store/jy5l46sgiffi5ml9vnnaklll8idxprq4-linux-libre-headers-5.4.20.drv
/gnu/store/k3gbwi3b8217ws5nz01jnixr1v2kk4p1-ld-wrapper-0.drv
/gnu/store/k52rxafnzjdm8m80fi4in2jm3d0v50ac-sed-4.8.drv
/gnu/store/k9wb858mscac8xzvqdkppfyj4xmhzw64-agda-ial-1.5.0-checkout.drv
/gnu/store/k9whqjy1glzlhzfzcjqda2gd8zhilgwa-gawk-5.0.1.drv
/gnu/store/m6m587rfxj308bs52jhwhjrdv40b9yaa-bzip2-1.0.8.drv
/gnu/store/maqzlq58j8bcnsc58qqgymfvcpwh5b0x-diffutils-3.7.drv
/gnu/store/n9rqkgqszj91bvskpg2a4pi22dmgsc1b-bash-minimal-5.0.16.drv
/gnu/store/rdjrpy8sll75q4jfbwx7spl5qh6wl0p3-patch-2.7.6.drv
/gnu/store/wvl2xb7lvk9izgqdimn653pab8c3h7d2-findutils-4.7.0.drv
/gnu/store/x67j382hrjv8h9j9r0slf1jgvvw3dh1a-file-5.38.drv
/gnu/store/xagxlqzx53320d7m9viyimhrapzv23m8-tar-1.32.drv
/gnu/store/ylrrqdn5axxwfsscvqs5dydrvg24ssgm-agda-2.6.0.1.drv
/gnu/store/zr97la7ilk779qcwfp83s6v4388ps3j2-grep-3.4.drv
/gnu/store/zrmrm6454fwzir5vhqvkw66g19gz3kif-make-4.3.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