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

File name
/gnu/store/07byz0yy984h3d8mkbsdxml18wp1nac7-make-4.3.drv
/gnu/store/2v32gxm73a82wbz51b8girmima63ah1p-agda-ial-1.5.0-checkout.drv
/gnu/store/5bbi7iwazfrvc9fg8y4fg4lp6j01d3x3-grep-3.4.drv
/gnu/store/8psdnbc4jhcz3k0ghkd9ha5mdm2r4pd0-bzip2-1.0.8.drv
/gnu/store/8vfk6231k05m6ik6k0dfk5lvm8n7822y-gzip-1.10.drv
/gnu/store/9whhajxkjkxb9vwdb0z5ashcmigj81pa-coreutils-8.32.drv
/gnu/store/afj3j7ghv6zm1iq6p3m5dbqsnrriy9ds-bash-minimal-5.0.16.drv
/gnu/store/b5nnbpgkvgdpzgvj67539ylcaqacj90l-guile-3.0.2.drv
/gnu/store/bhs8mjdhm37wk16qg8jzn9fdcgmllj50-diffutils-3.7.drv
/gnu/store/f1nicydmx33kxf09wxa9i25y006b91li-module-import-compiled.drv
/gnu/store/fdmz5blhzfczkpjb9jj6bdbhqlpv3i7l-gcc-7.5.0.drv
/gnu/store/fvi7sqvk9m1w93xaf8565ai7742zqc2i-xz-5.2.4.drv
/gnu/store/h1vn41niaqhm75b4syvl1cg7f9rbzc0z-glibc-2.31.drv
/gnu/store/mkq3s7av2l1vhcxns84k5q3j7r92imxm-patch-2.7.6.drv
/gnu/store/mm8flcvndb2mr53xhf2zilx263s88bf3-findutils-4.7.0.drv
/gnu/store/mv12ligm0jzz762rh46i09iddhxvaim2-ld-wrapper-0.drv
/gnu/store/n0h0fjvxk93jzl8jp9n6p1g52dlj1m6l-gawk-5.0.1.drv
/gnu/store/pqyd0rq2aqx8rbgdgjzpcjizhq6wzhv9-file-5.38.drv
/gnu/store/qlf9sxffyy9h6cw4zm5jnbilzbimgbil-binutils-2.34.drv
/gnu/store/r7i0jcdvnwkm2k1h4wx42w5m9fnsanmq-glibc-utf8-locales-2.31.drv
/gnu/store/vchlnxh5gsi6m12jk5x66dxswxx32h61-sed-4.8.drv
/gnu/store/y9d0im1z8f4bvv7a74s0yycl3d0z4yh0-linux-libre-headers-5.4.20.drv
/gnu/store/z1wnaiy1f3hg1rrv3bg72wzshhji7dns-agda-2.6.0.1.drv
/gnu/store/zp2jf7vmqm0q386d0snlmhfdsgykdv2a-tar-1.32.drv

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

File name
/gnu/store/0h2hl2pk5a5dpvzig17qj9zma6n25719-agda-ial-1.5.0