/gnu/store/5d4a1z1q38ygwrap1x5vzjs4yngj9b87-agda-ial-1.5.0.drv

File name
/gnu/store/0inxn43x3ca9a22hdyx663ipf7vjbl78-ld-wrapper-0.drv
/gnu/store/1pa26a37mpffbkprzmzvdrqfg7abrx8z-module-import-compiled.drv
/gnu/store/4b2l28zixdlygyh6yqqrfj7hjj3yvrdd-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/6i1ii9bq4hbi847kv626ys0n95hnyh10-sed-4.8.drv
/gnu/store/910ksvv8vjidyx58g67wp9ls6595yba3-diffutils-3.7.drv
/gnu/store/9i06gfzysdldy50qynhxa5vvqsh6fwhk-make-4.3.drv
/gnu/store/aqmfdzpjyzc947xsnci9jcrh2jyyyamz-agda-2.6.0.1.drv
/gnu/store/d3kpbps11i2k8f2qgr9rwrafrjbfmv28-findutils-4.7.0.drv
/gnu/store/fl42gmplbqyyylrpgrl7nih8w6wkcd11-gawk-5.0.1.drv
/gnu/store/fr37y3kwp0wlcl3pnnxix9wgwllmzw2b-file-5.38.drv
/gnu/store/framy1df0cssx4lhd99zh5wwwfk6nl9m-gzip-1.10.drv
/gnu/store/g4g568h5bfgx87naxbm851q15xj941jy-guile-3.0.2.drv
/gnu/store/g6cwr64qn5m65vf01d7i06gnyvrxzmzi-glibc-2.31.drv
/gnu/store/hswqa8rxalpx1f58ps7kl29cnr02n8zi-tar-1.32.drv
/gnu/store/i6q7xc97knvg3lknhifgzdlp6rfzdf80-grep-3.4.drv
/gnu/store/kpxmksrdp8kwbrsax5lsw77y06blxx29-binutils-2.34.drv
/gnu/store/kwhhqjm3109cwwcc0cx5g19l3g93rp8g-agda-ial-1.5.0-checkout.drv
/gnu/store/ld1yrz54knirgh4pv5bgls777cqsg2jx-xz-5.2.4.drv
/gnu/store/m7zcl2z63z1lrxvbrcjlypdxngcmw3n2-coreutils-8.32.drv
/gnu/store/n0qiysrkfwx0v1q6fqcxq0rmy5a5ahzn-bzip2-1.0.8.drv
/gnu/store/q8bvxw9vji6zzkzy9m2kj8x70fiy1f9q-patch-2.7.6.drv
/gnu/store/wi3yvnjfk6js253qa4d5f0vhgf4wz8vv-bash-minimal-5.0.16.drv
/gnu/store/yasy9xa9wrw43byl33l7c8zgjzvbz7hx-gcc-7.5.0.drv
/gnu/store/zvk0rdw28kzq424n6v4pd96nw3n7cmr1-glibc-utf8-locales-2.31.drv

Builder	/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile
System	`i586-gnu`

Unknown

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