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

File name
/gnu/store/17n4gi5f2dlpwv5yamqw79mpnwa0b4zg-tar-1.32.drv
/gnu/store/1ihcw0xcqw7jdc474wmpjpznyf00ng10-module-import-compiled.drv
/gnu/store/3n9hc7yx2mqg5w52ig22q6dpd7jmln21-make-4.3.drv
/gnu/store/4z202j54wwv9124ch38f04lhxvjssydg-grep-3.4.drv
/gnu/store/71wiwhw1gkv43rss2ayk55i7di9rfdb6-sed-4.8.drv
/gnu/store/8rnc3bp90w8m5jz4ncggx7i3zqm72w2i-glibc-utf8-locales-2.31.drv
/gnu/store/bpxr2wnfv16xmqa0p011764jbiskrp75-bzip2-1.0.8.drv
/gnu/store/cb8ak6z1x43cgx6prbfxqv3nr9v318jj-agda-ial-1.5.0-checkout.drv
/gnu/store/d6vb49fzq6bv4iv7lrdhj2hsk4crjwr8-agda-2.6.0.1.drv
/gnu/store/g06mlkl74if539jlvxcwz12xv27gixqj-binutils-2.34.drv
/gnu/store/g7llm64iq0zbz9s1fsf0ny64fiwy2gm5-gzip-1.10.drv
/gnu/store/gn6lnxz8s6kycdcxkqsxkw7lh6kcm78f-coreutils-8.32.drv
/gnu/store/gq1xbalnfqgy3c7wk0idjgbwkb2c3vbb-guile-3.0.2.drv
/gnu/store/gwfx7rf8c4l9wg1g90sximkvs9dyisxq-file-5.38.drv
/gnu/store/j31ykbb5jwig0jk48250nj0x4g29cfqk-bash-minimal-5.0.16.drv
/gnu/store/k5rgkb4h5rnzmj7rhkgzcbg56js3f1n9-diffutils-3.7.drv
/gnu/store/l33w9hmpi7aiq7kam8pryw3z2prv7dw6-patch-2.7.6.drv
/gnu/store/mdyzhg7my76p87f2hl89im0f9i893z9a-xz-5.2.4.drv
/gnu/store/pxdr7rf67qrw00k6sfqqxpczd6av73w0-gawk-5.0.1.drv
/gnu/store/qr31kqmdany1yq0pprpvv9mq3dni9840-glibc-2.31.drv
/gnu/store/rbqpym91ayb8w9vz62ghxiwg3s9vwzif-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/s082sbkh2n2aaaj6naz1yl6hzspqkkiq-gcc-7.5.0.drv
/gnu/store/v2yhhfwa01fz0h4hlv33x9xik7nnc5y8-findutils-4.7.0.drv
/gnu/store/xav1cj988nj6njsmhd543v52nhph28fs-ld-wrapper-0.drv

Builder	/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile
System	`i586-gnu`

File name
/gnu/store/0ia70jagkyxcy6wvh32fyvr2hqy9i3xr-agda-ial-1.5.0