/gnu/store/vral0asmff0q3mwmmss5lihwb5k9cch1-agda-2.6.0.1.drv

Inputs

File name
/gnu/store/04k7w4k81kajxzdh0qlk5a9dgwyzs6dp-ghc-hashable-1.2.7.0.drv
/gnu/store/0qrb26amjicd885pdsgp6a5bxa4chwqh-gzip-1.10.drv
/gnu/store/12ipmqgsab5kigvkamyxk4rjrjsw5ps7-ghc-equivalence-0.3.5.drv
/gnu/store/1chr3w715c6b479y7jxclzp1ykvbd7gm-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/2favpyd919n2gqi5zr4d1lj8ach6skym-ghc-gitrev-1.3.1.drv
/gnu/store/332ifx5kikz5307krcw8zb2apciddzx0-binutils-2.34.drv
/gnu/store/529hahxylma7f1s5vsq3j7pjgxfhxq8r-ghc-exceptions-0.10.3.drv
/gnu/store/57rhddi0r0cm4acz51b5f0f9y5gawkmy-ghc-boxes-0.1.5.drv
/gnu/store/5adfkpad8prlyy32grcfdmngh2r02r18-glibc-2.31.drv
/gnu/store/5x45nzmp5iylz1640w1zs7ll5w4d4606-ghc-zlib-0.6.2.1.drv
/gnu/store/691n5wh4p4zqckww5iwshnm7qrp67s93-ghc-async-2.2.2.drv
/gnu/store/8644vsr6klgxrm3kagiqx3l7dh9na74f-ghc-blaze-html-0.9.1.2.drv
/gnu/store/8g21jw7yfiqa62qlf0324c7b4vxk53xx-grep-3.4.drv
/gnu/store/97v0hr1x88b92v6jv2izpm99dlw5cpgf-ghc-data-hash-0.2.0.1.drv
/gnu/store/9agap9a53fqf94mk2yqv8r1vws084l6j-make-4.3.drv
/gnu/store/adqnz1nlb81dwmgrlg3v1lgckzxfnc3s-ghc-edit-distance-0.2.2.1.drv
/gnu/store/ammwirwb8a0v1zpfrzfpgrbsahg0aixc-diffutils-3.7.drv
/gnu/store/aqgawymm295qmszgigwfcznbvd6ykx6l-ghc-uri-encode-1.5.0.5.drv
/gnu/store/b5g41pw51yd96074sbkb4gvgz0y07wvi-glibc-utf8-locales-2.31.drv
/gnu/store/b8ss613vh4v2l86gz8s0vy550h6r5zi1-coreutils-8.32.drv
/gnu/store/cfqcbq495wzr1vmz5ayspqkzpixpbzvc-ghc-aeson-1.4.5.0.drv
/gnu/store/dz4vqd5myqr5y5y583iqgnalwqv7qpfb-ghc-ieee754-0.8.0.drv
/gnu/store/f6nk8zlgn35cv262xpx6zqk80a2grgih-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/gifv3lbd7fr35w4022z4dnr4ns9jgbbz-gawk-5.0.1.drv
/gnu/store/hpwhsn6znk53vf27mcskx327jdndy1in-ghc-alex-3.2.4.drv
/gnu/store/i2kx3sphb1a3i446jicks7by2w6qvnaf-ghc-8.6.5.drv
/gnu/store/i63fnll4hdih4zqbs180g551bkjp318s-Agda-2.6.0.1.tar.gz.drv
/gnu/store/ii9mscyv5c2y2xd2w2y6n5mg3rx34zbs-ghc-happy-1.19.12.drv
/gnu/store/il7ahrzrck57qw71gwjvrgapj2wbdpx6-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/ixl6vwv2a1hjngmf6j54603mqhpsgvrv-ld-wrapper-0.drv
/gnu/store/k7248qhhxn00d1rrpsq42bih5xm7w4ii-ghc-strict-0.3.2.drv
/gnu/store/lnsy65a55jbr1vk6aq4b7k3q7ajz6ll0-guile-3.0.2.drv
/gnu/store/n56za411720shh9qsdj2g120i53qzvz9-bash-minimal-5.0.16.drv
/gnu/store/nv8723zrjd97lwgz8zld1lrlq1hym073-sed-4.8.drv
/gnu/store/pfcyy7396j341q1aglkh74nr71myvfsl-xz-5.2.4.drv
/gnu/store/pj3b0380r0a86kygvyqvp7i9jqgdvg5n-ghc-filemanip-0.3.6.3.drv
/gnu/store/pqk01lgdbdqp3srasigcv7di7gihd683-findutils-4.7.0.drv
/gnu/store/q4wxnn5sg7rjhkhwdrjw6kbd91vqciim-patch-2.7.6.drv
/gnu/store/q7x10n29wpxj5xgaz0lbkwa5hgi43fki-ghc-edisoncore-1.3.2.1.drv
/gnu/store/qvanawn7bizvg5sdqcwrc1im0mp0fk1j-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/rmkb61pryzna5b16dg41jdb5n327ikzj-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/sd2b1270zqsk83jcq42mnzcn33l436pq-file-5.38.drv
/gnu/store/wimgnaf94a11v3r3bdzn7yszrpv4hzdb-ghc-hashtables-1.2.3.4.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/zi31w264l8zp72ja22inr0742x55mf57-module-import-compiled.drv

Derivation details

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

Build status

Unknown