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

File name
/gnu/store/0cs9fr5f6y4cxy6q0x4g0m6p2mrbayp9-tar-1.32.drv
/gnu/store/1kvc2nqjvvsi9n8i5ylklsrch9jq3q6j-bash-minimal-5.0.16.drv
/gnu/store/1yp6xjlq7nm68kyf0jpfccwvsff9c25v-file-5.38.drv
/gnu/store/2nk6mavg10lp7skgb5p9p39rkmk4qlmb-agda-ial-1.5.0-checkout.drv
/gnu/store/3dcscv37j81ji2w6hnx4jpjxf0az0hzg-make-4.3.drv
/gnu/store/4fyjq16aaqbs0wpp89bjy6pn4a9mjj1b-xz-5.2.4.drv
/gnu/store/6281a4bmjg9srw76sdlkk3k9sdayp96m-linux-libre-headers-5.4.20.drv
/gnu/store/6zl0qgmpva3j2wf98dkk6v9jnwsr56n9-ld-wrapper-0.drv
/gnu/store/73vf35qin7hgfsgqcvkb6hh83qzisl7j-bzip2-1.0.8.drv
/gnu/store/a1kxjnk2df0h6lj0js34483lyb72xkxi-grep-3.4.drv
/gnu/store/iy57jqg839xdag7xqscgkmfqknnzns1b-gcc-7.5.0.drv
/gnu/store/kjmp03h83mzrq8pc6rdi8gnlv7s59svh-module-import-compiled.drv
/gnu/store/kp7ia331imgayns5ar53fwssqmxsxvz6-binutils-2.34.drv
/gnu/store/kswv6gx6gjlrj3lzxrzd1xaban0ayha4-gzip-1.10.drv
/gnu/store/m7gh6vkrvmrpndsag11fgy7jm35ah7jh-diffutils-3.7.drv
/gnu/store/mp1nylz0sykzca1rrs7h9hkdqi2m7zgp-glibc-utf8-locales-2.31.drv
/gnu/store/q1idrw5m6b7qv6zdy41k8lrcd0n9q2bj-patch-2.7.6.drv
/gnu/store/rakk01pkmgwzz91z5c0qz9ay7rf31bhp-coreutils-8.32.drv
/gnu/store/rdpbn8sbp4nriz3rlf67rcblvdzlll4a-guile-3.0.2.drv
/gnu/store/rik7gdybhnhj4cish53bc4jhydparl4l-agda-2.6.0.1.drv
/gnu/store/rwaw2xqlc2caqgwlmmslzf4b0d0ggik4-gawk-5.0.1.drv
/gnu/store/s3n8za54d11hy95ay5ydv7hfxzf462ja-glibc-2.31.drv
/gnu/store/xg9h8c3a760myvwczjk3gcnxsj7zv0fa-sed-4.8.drv
/gnu/store/zhma6vs5fxg41apyhmrz8xp19xd20p2p-findutils-4.7.0.drv

Builder	/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile
System	`i686-linux`

Unknown

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