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

File name
/gnu/store/01wbpq8wyfla4s0g4xhi61wfgpiqzyr7-linux-libre-headers-5.10.35.drv
/gnu/store/3il9in1ajsmcj3j1v4fz355dy9i2mp4v-findutils-4.8.0.drv
/gnu/store/3rk6zv48pa0znyn3r6bkdd3qdm476hc6-gcc-10.3.0.drv
/gnu/store/3xsv3slv4qz6kk19xlq93jlxch8ji6xn-sed-4.8.drv
/gnu/store/4fs3w55gkkqzy4m7h48w3g19dbvr5r84-grep-3.6.drv
/gnu/store/83ylgqnhnq6jdhfkz9caz1h80lxyxdwp-binutils-2.37.drv
/gnu/store/f31a1y08740r6ahqr1ps1b902m08l8q8-coreutils-8.32.drv
/gnu/store/f87nbqah6hmrvn5hbwkjqh5s7vhip080-glibc-utf8-locales-2.33.drv
/gnu/store/jfjkzsn505wgm8yqhgcrx8wb4i90pla0-xz-5.2.5.drv
/gnu/store/kkg79rxq82wp6z6adg9krqvjdjivkmiq-glibc-2.33.drv
/gnu/store/lvk4q9cwvqvgkpq3fyiqxwvri2pyvr2r-patch-2.7.6.drv
/gnu/store/nqy7fa6zgapdwyraplmfyrfap94mhkjk-agda-2.6.2.2.drv
/gnu/store/p35ll80m6qlyvcfza0pbvpbrf2vdijgg-bash-minimal-5.1.8.drv
/gnu/store/pdc3v7yizdbi77mh2qa21zwf40dc51qr-gzip-1.10.drv
/gnu/store/pnlz47f2b91djlbam0wbi8gvmg2n442j-guile-3.0.7.drv
/gnu/store/pyr5m085cmbbkc359p0kpjbynxd4kf1r-diffutils-3.8.drv
/gnu/store/rcqain0qja52prkak6hg15224w4inzwc-agda-ial-1.5.0-checkout.drv
/gnu/store/rd4ap7iij26691ms9p0s760yh5nyfc9m-gawk-5.1.0.drv
/gnu/store/vvks16fq6mrsw58zm88q0kbfzakdqf24-tar-1.34.drv
/gnu/store/wvllggai0lnw8x34nmzp05l1bprxi5mf-make-4.3.drv
/gnu/store/xfsjrfri0sqbh3b0jhby45srcwqrrfz5-bzip2-1.0.8.drv
/gnu/store/xvc2y1xm0fd0400iyi47wi3zn3yj7ak0-file-5.39.drv
/gnu/store/xxkswsrh781n9r183awbnsrm3np0alsg-ld-wrapper-0.drv
/gnu/store/yx4j1mkg1chzgsh4ky4z80h4v9ndlhh1-module-import-compiled.drv

Builder	/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-guile-3.0.7/bin/guile
System	`i686-linux`

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