/gnu/store/9nlbqq1lcxakm9a1sa1ya9q2cbd1qgfl-agda-ial-1.5.0.drv

File name
/gnu/store/0vh2rcmhyzk9j5y5bdzywsd8zd9kjwm1-coreutils-8.32.drv
/gnu/store/256668rvq4yn4rna152i0skbm6cvhkbf-binutils-2.34.drv
/gnu/store/3bwkjkymipgm1z0pvqjcl0y384skpycb-gcc-7.5.0.drv
/gnu/store/3wc564y11lyl7k653pi465dgwv5g0nwr-module-import-compiled.drv
/gnu/store/5hjvzyddd7m5hc4zlhd655cbm5hgm27b-bash-minimal-5.0.16.drv
/gnu/store/5vmsiy52f2211013z1gb26qjaivcjgmw-xz-5.2.4.drv
/gnu/store/6mg984rfgwcay297rldf2cbzq1m623k0-agda-ial-1.5.0-checkout.drv
/gnu/store/99wdjpvgvcqvj25q3hphil6wymi8xrkl-glibc-utf8-locales-2.31.drv
/gnu/store/9p64m27299l8q8vvz4wmyn0l0ws3jgyf-patch-2.7.6.drv
/gnu/store/bfbk7yf0vqg5zcwniv0p09vb9axkxpf9-findutils-4.7.0.drv
/gnu/store/bwi00pibk991chznsn37rq2zkbvspcjg-grep-3.4.drv
/gnu/store/d44hnigk81b9k0jqdn6zincbwvv5al5s-ld-wrapper-0.drv
/gnu/store/dn1wb3fmn59q0215hkk4qgy9iw2qpbmh-gzip-1.10.drv
/gnu/store/gv4aiq3hrphc7hdwjmc69hbak13482zf-gawk-5.0.1.drv
/gnu/store/hjjii533p6yxhw26h4avbslq34k04g2r-linux-libre-headers-5.4.20.drv
/gnu/store/l482f3izh7rimpniai5zxl2c9rqg3b4f-file-5.38.drv
/gnu/store/n5cy1j3afx1yddm7sw8zbg3cfb5kcy5m-guile-3.0.2.drv
/gnu/store/r3rijx5la19ai7j67rzs79dxazqjn37h-bzip2-1.0.8.drv
/gnu/store/ww9f8n86vya4h11ibrc6hrazpkmnybsr-agda-2.6.2.drv
/gnu/store/x8l4z6rx0zlb868vrc7ni2krgbfynfxn-sed-4.8.drv
/gnu/store/ydkj5svj4k9c4prd3vlpgnin1n193g6x-make-4.3.drv
/gnu/store/z790gwc3rw34zx8l9kmmwfkzz65709ph-diffutils-3.7.drv
/gnu/store/z9bk6l5rgd5r24cyrws0hc0v86pg7cff-tar-1.32.drv
/gnu/store/zfn57jd8kayb59cyvv7sbv520x9i1v07-glibc-2.31.drv

Builder	/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile
System	`x86_64-linux`

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