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

File name
/gnu/store/1zbxjnjxxwrzx9npbclyg2fr3wxjxsb3-ld-wrapper-0.drv
/gnu/store/2c8hpa3wvbwis5l8amaibkfkgl7zgldz-bash-minimal-5.0.16.drv
/gnu/store/3lqlyjvjgjjsi3gvfkfixdpflwr9gvni-sed-4.8.drv
/gnu/store/4490hc1pangph5zkb6z6jx7a7v08vb33-glibc-2.31.drv
/gnu/store/499i3zmjvx0j53pnqqbxga5pbqq3y9rr-linux-libre-headers-5.4.20.drv
/gnu/store/5g55a3pg9xj33gc2xg330mzr7dfpxmhv-binutils-2.34.drv
/gnu/store/68bzsm3d8771v30bm55k9izdirxzv56f-gzip-1.10.drv
/gnu/store/85nib8l7lsbyq9yl82p9ddjvpirvahzr-xz-5.2.4.drv
/gnu/store/8955giz58yy2za3qhvwcxixmvgv1mnr8-coreutils-8.32.drv
/gnu/store/8qv4yxi4w228s3cr2a6q1lqh8x6qjgjl-bzip2-1.0.8.drv
/gnu/store/bn43mb5gdqz3fd73aqq57yy6jfb3lf1f-file-5.38.drv
/gnu/store/g6rwslfcalarkpcwa0xvk9ygp8a7vy7r-tar-1.32.drv
/gnu/store/h1aad88ga4whagplasck5nbw6q98k0m5-patch-2.7.6.drv
/gnu/store/hxy21ycs4z19slq99286vil8hbjg8b2k-agda-ial-1.5.0-checkout.drv
/gnu/store/i6mjhhf9prpk5krj8bh284k5c2fqmf0x-make-4.3.drv
/gnu/store/idb62qz3qqyy0bbddd4sckpv6qinwxcp-glibc-utf8-locales-2.31.drv
/gnu/store/kiyixbxnjnb4wwf84bscx546cxpnhww5-module-import-compiled.drv
/gnu/store/lkw0rl47i2rffh4iwvzff2c4pzyf2js5-grep-3.4.drv
/gnu/store/ly9gzpnmffn4vn71jcm0dlkpm0317nrp-guile-3.0.2.drv
/gnu/store/m1rp3a1i515qryrvsxg7ljlgy3cac4ya-findutils-4.7.0.drv
/gnu/store/v7b8bqzsk0mvbccvm1akyn0q28kzgnvn-diffutils-3.7.drv
/gnu/store/vmfbdwp17vh6a25qmdi5i5aykma98jdw-gcc-7.5.0.drv
/gnu/store/x5vhjslk0j1n1p8n272s7x6gggq00v5p-agda-2.6.0.1.drv
/gnu/store/zp8xk297hiby0l2dairqci0sz8kfv9j2-gawk-5.0.1.drv

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

Unknown

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