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

File name
/gnu/store/2hih4plmjllzxnhvkxhm40a8lhdh79f7-grep-3.4.drv
/gnu/store/2ppjgdnn04ainspx1rkafw1ifl65a8gx-ld-wrapper-0.drv
/gnu/store/3a1ay4z45kd14719a8z8lzqzk31pkqyl-tar-1.32.drv
/gnu/store/5hj30swdyxnma1vih5rl0a422sxwizig-file-5.38.drv
/gnu/store/5lhvp6rm0cwb4c30spgp9xhx5yhd3q79-findutils-4.7.0.drv
/gnu/store/6pza7giyf166ppq2j9l9i7qvyjbhagzy-glibc-utf8-locales-2.31.drv
/gnu/store/75pklyrr4yc41grs31kma31hk912zyzq-binutils-2.34.drv
/gnu/store/882hzl1571cnyps1p5f850ywy9r2r0mr-gcc-7.5.0.drv
/gnu/store/96mc3a46h3y0z6p63x047624m0zgagl7-glibc-2.31.drv
/gnu/store/9kqava78khps5441r2jpcfdwy3sd0s5a-gzip-1.10.drv
/gnu/store/cb329n0llbh4szpmjf9gph03v4xxnhl4-coreutils-8.32.drv
/gnu/store/ckwxbndl120pjy19sw743s1wnmmj84yp-gawk-5.0.1.drv
/gnu/store/cnzgm8cn9i6ah3rf5allz6kdjf5j4grn-module-import-compiled.drv
/gnu/store/dy6x9dx5w5az6j54r7kq6gp73xll454f-guile-3.0.2.drv
/gnu/store/f026ha5jvgq3xy2l0m0cnygnvgpsy4l7-agda-2.6.0.1.drv
/gnu/store/gfadfmwcwfisrnmfqyzg4mwn5fp6mmzz-xz-5.2.4.drv
/gnu/store/gmczb4cidyv2j8hh11lhavdpgj88d1nf-diffutils-3.7.drv
/gnu/store/jhj9d04q2f80fp2awbs4b4rx5sbpjxbr-make-4.3.drv
/gnu/store/jnl1vpvfinm7j91db7knzyvwm73zq4nn-patch-2.7.6.drv
/gnu/store/m5jmp26406805yyawh4khck6l7f0w8sk-sed-4.8.drv
/gnu/store/p8yr9kl22n823c98wyak3iy6cy0f1y4s-agda-ial-1.5.0-checkout.drv
/gnu/store/q2xqm8ylghiiib2llm1j2w04p1075kph-linux-libre-headers-5.4.20.drv
/gnu/store/r7kkx6zvsly8566x3df98sr6j3lil67k-bzip2-1.0.8.drv
/gnu/store/wsb10346j3x49zy4fyyijxr4xmq1p9z9-bash-minimal-5.0.16.drv

Builder	/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile
System	`armhf-linux`

Unknown

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