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

File name
/gnu/store/039vv3jlb2b6idhmbc23q53vivvz1bf3-glibc-utf8-locales-2.31.drv
/gnu/store/08bqd35kkp76y6frvla42rl25vqpgiwi-file-5.38.drv
/gnu/store/1k6b9azydn31fdlw86fk1p15ld22gznr-make-4.3.drv
/gnu/store/23h0lixlr0g0iwcmh7r9x0ncm00x57p5-gawk-5.0.1.drv
/gnu/store/25yr5ghldgf336ljpj00jjdvifakmlw4-patch-2.7.6.drv
/gnu/store/3y9m9r5ifmygqm94m4q45v4m892ryzdp-glibc-2.31.drv
/gnu/store/dlsn15gwyfbfhfk78s9icrvljk1avb3p-grep-3.4.drv
/gnu/store/fq0v5lz9pd22mwvqi43i6li9j62xg4ay-coreutils-8.32.drv
/gnu/store/h3z4jnadvmgh9wfldg4gw69w0dmvsgmh-binutils-2.34.drv
/gnu/store/hs3zh6hxab8pm6r32520z3cvx122amhs-linux-libre-headers-5.4.20.drv
/gnu/store/i1hy36ins2pndbp103m6rq4ic2vzma8c-tar-1.32.drv
/gnu/store/iymhqy6v9fmi8wrv58mn8fjbzkx7jw5l-bzip2-1.0.8.drv
/gnu/store/kcs62960r9hx1s2m93csqjmc1irvdlia-diffutils-3.7.drv
/gnu/store/l7i1c1dfmzvdp655pim6rcphh8vgvand-ld-wrapper-0.drv
/gnu/store/l949ji5jhfz2zjckq0dzddibmiywwrhl-gcc-7.5.0.drv
/gnu/store/lyf38lq82ibiiii9iyfa04xdv6n3rm8g-findutils-4.7.0.drv
/gnu/store/ps4l3sx7gx9aq7wamvk7k9k3jffs0hcy-agda-2.6.0.1.drv
/gnu/store/qlwqhaflajrrwrnxwmggz5h8nm17jdhr-module-import-compiled.drv
/gnu/store/qmyybfh4myv6qfnra32dxlh6hy2zpvd6-xz-5.2.4.drv
/gnu/store/sj5j8s8j8zv0ybvb9jdd8j5jbjppgmsf-guile-3.0.2.drv
/gnu/store/vm70msjs553jln3vikxijsbar2hrh582-gzip-1.10.drv
/gnu/store/xmm84x0c09gnkik81h2mpim7d57k9wk4-bash-minimal-5.0.16.drv
/gnu/store/y5k1a0g1h8mnca3prjvk7sxa2bxkv4q7-sed-4.8.drv
/gnu/store/yx4pw5pdmjzpkjdjyfqrswi2xg85rhd9-agda-ial-1.5.0-checkout.drv

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

Unknown

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