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

Inputs

File name
/gnu/store/05rrd81l377nbksh8zzj9aa6vwszl0cm-gzip-1.10.drv
/gnu/store/125qa2s27hif5d5xsxf6sdc9jh5y06c9-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/1sxb81crl43669zxry4d52gg63frcx8g-glibc-2.31.drv
/gnu/store/1wg3rxxlfi75nfqvg4w2vsqryhjaxphy-coreutils-8.32.drv
/gnu/store/2vqnj9lf8pppfyzqqxkhpv3fi76q00hw-ghc-boxes-0.1.5.drv
/gnu/store/4d84qhlxjxi987jpfr7pqn6icl0sayyh-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/4yyv86h0z7whhmp0wap5sya4d60h605r-findutils-4.7.0.drv
/gnu/store/5g6pcxph3ck4ff2qscvlmhv6b5lc75xs-ghc-blaze-html-0.9.1.2.drv
/gnu/store/6cvrac9ddrk20hhz914wsmr3ywcxmhad-bash-minimal-5.0.16.drv
/gnu/store/6xhd29k23sxsifld9pkaprafwj36f8my-ghc-zlib-0.6.2.1.drv
/gnu/store/714070xadk86xn1s5wlq1sq1y4s2p5fa-ghc-exceptions-0.10.3.drv
/gnu/store/8bjisipiddnp2hcksb4gqfqavmkpi2b5-ghc-alex-3.2.4.drv
/gnu/store/9kzxmsgrfbishr7lpinsim5rcbhscgsk-ghc-hashtables-1.2.3.4.drv
/gnu/store/9lnmidf9fzad3ibilnjissiy15q5s6ah-ghc-async-2.2.2.drv
/gnu/store/b3023zi96v8nfv3b3imbangnhkrg7jil-bzip2-1.0.8.drv
/gnu/store/djmmcx6zp9h58fl6ndb9b8y0q1gkw615-ghc-uri-encode-1.5.0.5.drv
/gnu/store/dm8rjspn7db70nf3sci4blw4rkjyg56w-file-5.38.drv
/gnu/store/dsg8whnbd4si8pmckralqk11wggiqbdf-linux-libre-headers-5.4.20.drv
/gnu/store/f4bzzpzmliyhz6rs7ifyidanx9kwax4h-glibc-utf8-locales-2.31.drv
/gnu/store/fj2vri7nb1dhqfqmjc9vm213x5y90hgx-ghc-hashable-1.2.7.0.drv
/gnu/store/hjh4c1abr1x2f881qjph8d73vrg2ccd3-ld-wrapper-0.drv
/gnu/store/hyi37h8yrpsrn9cn0smp27jwpv7nlglj-ghc-ieee754-0.8.0.drv
/gnu/store/i2z3ysh2c02sd9i2mpm4fya736dgim4w-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/i3pcj8idg4ikz4f8lqp6qyw14cb9khyj-ghc-data-hash-0.2.0.1.drv
/gnu/store/i65j0sm64zaqkdbw7cvq4n6l84x0s19n-make-4.3.drv
/gnu/store/jl1k1bqdnz8v6wcwxa2pbryazv4wsc8z-grep-3.4.drv
/gnu/store/jml13wdy2pryi0s42mprc95wahhlaf3a-ghc-edit-distance-0.2.2.1.drv
/gnu/store/k4sinqkqpxrcb5av95z18d8bnik03z48-ghc-happy-1.19.12.drv
/gnu/store/k5xfgp29b1w3vr5n6f342fvpckln8ml4-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/lngdq3y598ibrnhjdwmgs6ifzqkmaq38-gawk-5.0.1.drv
/gnu/store/mlfd2jb2n9q91lxwfp3f3mjldwxzb699-gcc-7.5.0.drv
/gnu/store/mmhgqdl9vw4fwiz4mn1is2gjrvbr6ijr-ghc-strict-0.3.2.drv
/gnu/store/n9pfv57iwwv2rx1i7mk3ihpn86hdmpd7-ghc-equivalence-0.3.5.drv
/gnu/store/nfwh11q1lp25lnirwlj2c3qhk7sl6m5y-binutils-2.34.drv
/gnu/store/nwcm0pmjfrqy2xnvmr5nb3fnssjk4vzs-Agda-2.6.0.1.tar.gz.drv
/gnu/store/q4qy3rbxbwzhpf77iiiasi37nlvkxi5c-ghc-edisoncore-1.3.2.1.drv
/gnu/store/r217hjl2qiv091pwmv8k4lp5c74vxanr-ghc-gitrev-1.3.1.drv
/gnu/store/sj0cpab0b6xswr1xbh3c3cr427mcwnv5-xz-5.2.4.drv
/gnu/store/srd6dxwrs6n4xjnqcpz8sabh9bas7r2l-ghc-filemanip-0.3.6.3.drv
/gnu/store/va8x8i8qvq63fnx607y89q28gjj3dilb-patch-2.7.6.drv
/gnu/store/vjfc8qqd3hciwybjjdb4hmpldl6wv91y-ghc-aeson-1.4.5.0.drv
/gnu/store/vlg9lr5rdpsgl81irsjpd90l922cr4sh-ghc-8.6.5.drv
/gnu/store/w1cmkdbb82g28k8pci55pj6jckahpclz-guile-3.0.2.drv
/gnu/store/w6yaygcfq52jmj9hj6lcq0jq80wvj9ki-sed-4.8.drv
/gnu/store/xck4fjn1w2r00y39ka0jxpkh8hcr6p7v-module-import-compiled.drv
/gnu/store/xmp7cnjwlq4kdpy9qbra8lvrx1yci39p-diffutils-3.7.drv
/gnu/store/xw9x42h32s8p687cgwd1m5awn3qpxg4k-tar-1.32.drv

Derivation details

Builder/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile
Systemi686-linux

Build status

Unknown