/gnu/store/9l3vmgn5lm966yb6k8g52r2frpa482g2-agda-2.6.0.1.drv

Inputs

File name
/gnu/store/00xvj8drla41i6azd8w5xndr6d2yhin3-ghc-edit-distance-0.2.2.1.drv
/gnu/store/03b0b85xazrm8irf8hi0jnb8rd84ain1-ghc-exceptions-0.10.3.drv
/gnu/store/0qrb26amjicd885pdsgp6a5bxa4chwqh-gzip-1.10.drv
/gnu/store/171qxvgjm57007nqn55igjjkjv47m0ks-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/2c5id3mj4p0kjski8sp8g1d158pp6wvz-ghc-strict-0.3.2.drv
/gnu/store/332ifx5kikz5307krcw8zb2apciddzx0-binutils-2.34.drv
/gnu/store/5adfkpad8prlyy32grcfdmngh2r02r18-glibc-2.31.drv
/gnu/store/66m6c623bf848flrl5c2di0aga4v4y98-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/6sk7hrwy5ssgd7aawi7a1fn9y2hr2fh6-ghc-boxes-0.1.5.drv
/gnu/store/8g21jw7yfiqa62qlf0324c7b4vxk53xx-grep-3.4.drv
/gnu/store/9agap9a53fqf94mk2yqv8r1vws084l6j-make-4.3.drv
/gnu/store/aif0v4g8q57ghjh1kc493n9snksqfymv-ghc-gitrev-1.3.1.drv
/gnu/store/ammwirwb8a0v1zpfrzfpgrbsahg0aixc-diffutils-3.7.drv
/gnu/store/b5g41pw51yd96074sbkb4gvgz0y07wvi-glibc-utf8-locales-2.31.drv
/gnu/store/b8ss613vh4v2l86gz8s0vy550h6r5zi1-coreutils-8.32.drv
/gnu/store/c9d8vssphz6kqg96da6x5ab5qr76xnww-ghc-blaze-html-0.9.1.2.drv
/gnu/store/fs7qxc2f0nslfhq6qgws1148mm8zqslr-ghc-data-hash-0.2.0.1.drv
/gnu/store/gifv3lbd7fr35w4022z4dnr4ns9jgbbz-gawk-5.0.1.drv
/gnu/store/gpb7r0kqxzskfzgh0470r5jbpbk1i7x3-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/hz1cn5rjp1884yv6adya3la2yvdlv7dz-ghc-hashable-1.2.7.0.drv
/gnu/store/i63fnll4hdih4zqbs180g551bkjp318s-Agda-2.6.0.1.tar.gz.drv
/gnu/store/ij2gv3xzn4p7mq0ivlk23il6g06hf7kp-ghc-aeson-1.4.5.0.drv
/gnu/store/il7ahrzrck57qw71gwjvrgapj2wbdpx6-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/ixl6vwv2a1hjngmf6j54603mqhpsgvrv-ld-wrapper-0.drv
/gnu/store/j2aagf1ani2i2frmjip85fpg01jfyxb1-ghc-uri-encode-1.5.0.5.drv
/gnu/store/lnsy65a55jbr1vk6aq4b7k3q7ajz6ll0-guile-3.0.2.drv
/gnu/store/mb1l3czzaggv5rnhy8cqi7nivf8ir28f-ghc-hashtables-1.2.3.4.drv
/gnu/store/mcp67w2i1h8a99aawxdqy16lkn9f0678-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/n56za411720shh9qsdj2g120i53qzvz9-bash-minimal-5.0.16.drv
/gnu/store/n70hx2m5iygf8hr8pcncjzs2g7nr31lw-ghc-zlib-0.6.2.1.drv
/gnu/store/nv8723zrjd97lwgz8zld1lrlq1hym073-sed-4.8.drv
/gnu/store/pfcyy7396j341q1aglkh74nr71myvfsl-xz-5.2.4.drv
/gnu/store/pnaj836wwqsiga364na0xzy5m549q50v-ghc-filemanip-0.3.6.3.drv
/gnu/store/pqk01lgdbdqp3srasigcv7di7gihd683-findutils-4.7.0.drv
/gnu/store/q2bjhlnykffpybdj0v601ll65vz7k3im-ghc-async-2.2.2.drv
/gnu/store/q4wxnn5sg7rjhkhwdrjw6kbd91vqciim-patch-2.7.6.drv
/gnu/store/s0pqlxzl8v6yxm7f0dw423ixcrgw0pgb-ghc-ieee754-0.8.0.drv
/gnu/store/s9s213n8gjx17klga7icqjgak5jmp2ym-ghc-equivalence-0.3.5.drv
/gnu/store/sd2b1270zqsk83jcq42mnzcn33l436pq-file-5.38.drv
/gnu/store/v8sq1rmhx29m2kc2svq7qdgxhhsw9brd-ghc-happy-1.19.12.drv
/gnu/store/wj18ijyn5djb1phmx7ljixff3xc2b9cy-bzip2-1.0.8.drv
/gnu/store/xb5lb2wkh95j5vrjflrram3n90zhs60s-tar-1.32.drv
/gnu/store/y7isjf6i92wmvwlxyfxj19q0v0f7bymm-gcc-7.5.0.drv
/gnu/store/yb8ip5ig038jlvf8062nfg9x3fxqk0y1-ghc-alex-3.2.4.drv
/gnu/store/yvhhlsj7cwhmrs8nhidf540cwcb5vzbd-ghc-edisoncore-1.3.2.1.drv
/gnu/store/zi31w264l8zp72ja22inr0742x55mf57-module-import-compiled.drv
/gnu/store/znyri2izwi30j3dy7c0p7ggga9ailmy7-ghc-8.6.5.drv

Derivation details

Builder/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile
Systemi586-gnu

Build status

Unknown