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

File name
/gnu/store/0qrb26amjicd885pdsgp6a5bxa4chwqh-gzip-1.10.drv
/gnu/store/332ifx5kikz5307krcw8zb2apciddzx0-binutils-2.34.drv
/gnu/store/3ghyx4lwlx4j6shibcyvmm1r8pibq8na-agda-ial-1.5.0-checkout.drv
/gnu/store/5adfkpad8prlyy32grcfdmngh2r02r18-glibc-2.31.drv
/gnu/store/8g21jw7yfiqa62qlf0324c7b4vxk53xx-grep-3.4.drv
/gnu/store/8rz7h64yy259flghm3i01bdvl3qgp4hc-module-import-compiled.drv
/gnu/store/9agap9a53fqf94mk2yqv8r1vws084l6j-make-4.3.drv
/gnu/store/9l3vmgn5lm966yb6k8g52r2frpa482g2-agda-2.6.0.1.drv
/gnu/store/ammwirwb8a0v1zpfrzfpgrbsahg0aixc-diffutils-3.7.drv
/gnu/store/b5g41pw51yd96074sbkb4gvgz0y07wvi-glibc-utf8-locales-2.31.drv
/gnu/store/b8ss613vh4v2l86gz8s0vy550h6r5zi1-coreutils-8.32.drv
/gnu/store/gifv3lbd7fr35w4022z4dnr4ns9jgbbz-gawk-5.0.1.drv
/gnu/store/il7ahrzrck57qw71gwjvrgapj2wbdpx6-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/ixl6vwv2a1hjngmf6j54603mqhpsgvrv-ld-wrapper-0.drv
/gnu/store/lnsy65a55jbr1vk6aq4b7k3q7ajz6ll0-guile-3.0.2.drv
/gnu/store/n56za411720shh9qsdj2g120i53qzvz9-bash-minimal-5.0.16.drv
/gnu/store/nv8723zrjd97lwgz8zld1lrlq1hym073-sed-4.8.drv
/gnu/store/pfcyy7396j341q1aglkh74nr71myvfsl-xz-5.2.4.drv
/gnu/store/pqk01lgdbdqp3srasigcv7di7gihd683-findutils-4.7.0.drv
/gnu/store/q4wxnn5sg7rjhkhwdrjw6kbd91vqciim-patch-2.7.6.drv
/gnu/store/sd2b1270zqsk83jcq42mnzcn33l436pq-file-5.38.drv
/gnu/store/wj18ijyn5djb1phmx7ljixff3xc2b9cy-bzip2-1.0.8.drv
/gnu/store/xb5lb2wkh95j5vrjflrram3n90zhs60s-tar-1.32.drv
/gnu/store/y7isjf6i92wmvwlxyfxj19q0v0f7bymm-gcc-7.5.0.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