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

File name
/gnu/store/08yj71v0pgxbnb0pm3mzgmjvdfxv82qs-findutils-4.7.0.drv
/gnu/store/31s4zjv9x4vdnkmv5v8adh277cjb46lm-agda-ial-1.5.0-checkout.drv
/gnu/store/444ag0grnpifl10yc9p2wwjnypc5y1vv-grep-3.4.drv
/gnu/store/4px1196fywh0050ka8yv6wcqizi8m7q2-ld-wrapper-0.drv
/gnu/store/4vf4rlxc6q9rbqxxlrp03j9grkcb5qm5-make-4.3.drv
/gnu/store/875cvybyircgql7ga6inapcafvrv4ibr-module-import-compiled.drv
/gnu/store/8nxciir4shcnkjakamawhwmmc2px1v7b-tar-1.32.drv
/gnu/store/a2sqg7b5m2bwsba0y6dpgv48bkbgrph1-gcc-7.5.0.drv
/gnu/store/ajkr08n84iqx2djq7r5nhq8fl876j849-bzip2-1.0.8.drv
/gnu/store/bid9xqilnqlsbn1m8mpx1j70nasw3jld-bash-minimal-5.0.16.drv
/gnu/store/dqf1cr8zwrccqi3ripv6bjqd7w97dxyf-linux-libre-headers-5.4.20.drv
/gnu/store/f96499mmyvapxvn5qpl4g89kns7gd40m-binutils-2.34.drv
/gnu/store/g9v8d0yf7lhqn8pi3g7lz88pkxs7dj0f-coreutils-8.32.drv
/gnu/store/ljh9fa7ql948fwnwwm4gsy0bbd9cmlzg-diffutils-3.7.drv
/gnu/store/mvm9x903zin0jiib195q1n7z5i8skr6w-sed-4.8.drv
/gnu/store/n0bsw8a8swwyl4nb9v7vp5gf70ppamp3-patch-2.7.6.drv
/gnu/store/na9yps1m8v58srnpinggjzqs3z9831j3-file-5.38.drv
/gnu/store/ndhkjn55a1r7ps957jybb2n79jzf8kmf-glibc-utf8-locales-2.31.drv
/gnu/store/njghd2i7dhcxg808jp3pgn6kr0q043y7-gawk-5.0.1.drv
/gnu/store/pg5l4jwj33x2k1a1xy6pmw0rhd1g0gn6-xz-5.2.4.drv
/gnu/store/vr9lzyhxl0fw9k7sgjfn5zh6qxr56n9i-guile-3.0.2.drv
/gnu/store/zbnbzyyxcqybcgg9jxzp5b7ll9pzhjv2-gzip-1.10.drv
/gnu/store/zfrkfg518lxwm3y5yk233wcdbn0pngxb-agda-2.6.2.drv
/gnu/store/zpfl5cg5m8jfkgw1jf4y95nn3czgi8a2-glibc-2.31.drv

Builder	/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile
System	`mips64el-linux`

Unknown

File name
/gnu/store/8nzcv9r9fysl5bcyz5w25493910jciy8-agda-ial-1.5.0