/gnu/store/7gg7grphpdhn7g53dqik1ihp9psmb5kc-agda-ial-1.5.0.drv

File name
/gnu/store/06wxpz4dz6jfwip0fg7d3xaii9c68g5v-gzip-1.10.drv
/gnu/store/1s1izmdn2xnznrj5mrfil6ibmcb7ishh-guile-3.0.7.drv
/gnu/store/3r3jcfwrk4frynhjl0pmd49vbnxqkcdq-make-4.3.drv
/gnu/store/52aymnx4px77ig2irmi16nncb9d27z9y-gawk-5.1.0.drv
/gnu/store/6s60m626amsr20r4fl1cmg5r9lxc3g0w-module-import-compiled.drv
/gnu/store/7p8m2v35lrjmgffv7map1cmn45vi0pkm-binutils-2.37.drv
/gnu/store/8ywmp49yzjrczacx4imv5lx2b9w3m6yk-diffutils-3.8.drv
/gnu/store/bbsm32fgf4qv0k1nwn7yc7487q5bmnh0-agda-ial-1.5.0-checkout.drv
/gnu/store/caz2bjcx6q6vfylilyrh5dzg3jh4x8id-xz-5.2.5.drv
/gnu/store/gska807wl8i84hqzyv7ya96wvlwfa67d-findutils-4.8.0.drv
/gnu/store/h5nligvx7n87jg0zxsiw536lz0q1gr3j-tar-1.34.drv
/gnu/store/jj494gyb7r3jnn15jd240dn5zd6crnyk-bash-minimal-5.1.8.drv
/gnu/store/jv65snda8w3as8zvr428f9p99038f7ph-grep-3.6.drv
/gnu/store/l9gwya8paprv03fkywagdlrjwjkxmy9g-file-5.39.drv
/gnu/store/mkkz91c50pfj5w21wlja04rzdpbdw4n1-patch-2.7.6.drv
/gnu/store/mrylnsq1m3731snyb9qjvxg64vlcz10j-linux-libre-headers-5.10.35.drv
/gnu/store/q1pxsx599ypzhamcm2rx2yvj6pchap87-gcc-10.3.0.drv
/gnu/store/s1w6kbxxcsm58d0gwqd215frrkc7p90y-ld-wrapper-0.drv
/gnu/store/v553l6m5k1799mxnx2anbaxpbl180c97-glibc-2.33.drv
/gnu/store/v6b7vz0dafq8h34gbh1xhp5bqzfb69rd-coreutils-8.32.drv
/gnu/store/vc0vl7hr2zww8rsgcz2218iw929714g0-glibc-utf8-locales-2.33.drv
/gnu/store/x3zn669bnsfg4plw1zg3y8w5k5i024wa-agda-2.6.2.2.drv
/gnu/store/xhcg470hr1ca5apg1pnwai6cprsql4zw-sed-4.8.drv
/gnu/store/z2bd4zz6iqrczsh4vpsva0klfaz6pqiq-bzip2-1.0.8.drv

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

File name
/gnu/store/9l6i6was127fplcnbf46jjg7zrbfzvkf-agda-ial-1.5.0