/gnu/store/8lj0v73d78w5sygpg0401w5ypidmsi8a-agda-2.6.0.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0j6gi10v9hz2s2413nhwbzihrydafgvj-glibc-2.31.drv
/gnu/store/0zmcam9sdiag9s1qx3xvlf8a3jnm53x2-sed-4.8.drv
/gnu/store/18nxn00kajhfy5rkh7cwpa3sd62g9jq4-module-import-compiled.drv
/gnu/store/1x7csbyffk77rh80w6sicqgb0j50w5x2-ghc-blaze-html-0.9.1.2.drv
/gnu/store/3d4xggdls9cmvr5j2qd57p6z1pavd7pg-gcc-7.5.0.drv
/gnu/store/3na97cpvd5mvs66d1mls02r9827nqnbl-ghc-equivalence-0.3.5.drv
/gnu/store/4rqhcbj2n6sa6ngg458sbny24a733lwz-ghc-edisoncore-1.3.2.1.drv
/gnu/store/55m53jfhazxzkhrlm9razvw1r0mzxah0-grep-3.4.drv
/gnu/store/577y712c4lqzarml9x5a20x5kmlvwcz0-make-4.3.drv
/gnu/store/70gapv7ssbkcww91rw5y958bfgp44gw9-findutils-4.7.0.drv
/gnu/store/7avrcww5ag0d1zbidi8awrarqvd8bb29-xz-5.2.4.drv
/gnu/store/7rxxb42fzfnh81b2f0sdzpv4qla0hqmi-glibc-utf8-locales-2.31.drv
/gnu/store/7zk92qrba8py13l7w6rimyqkwvcsiyx9-ghc-happy-1.19.12.drv
/gnu/store/84aj95pxsxshh6kpcl0s1w6l9cfjfzj9-bash-minimal-5.0.16.drv
/gnu/store/95w8r81sn34fl2d64c8rkp76v9d9zai5-binutils-2.34.drv
/gnu/store/9gd8mfg44r39wca5s7cm44ykwcym1kb3-coreutils-8.32.drv
/gnu/store/axivv7qsbckqv2yyqmgkvps5wv9zmpm7-bzip2-1.0.8.drv
/gnu/store/bv6aqy4ndn6a4sda0jxy7p3y9nqbma7b-ghc-hashable-1.2.7.0.drv
/gnu/store/bz3nm1za5424xg8bllh2pifg46z48ll1-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/d2fr7ijbw7hg5xz8s8ff24zypmqxc09h-linux-libre-headers-5.4.20.drv
/gnu/store/djrgxjrvcknlv25slm07qkpfz7gcag1v-ghc-filemanip-0.3.6.3.drv
/gnu/store/f1dr75dyzmvls1ij25v1gd62qwh463lb-ghc-aeson-1.4.5.0.drv
/gnu/store/f1g474vdvqgzk65dicsk48liw9cw8agq-ghc-strict-0.3.2.drv
/gnu/store/g8v3w191k75iy209nx0g73x7hi7qmv1h-ld-wrapper-0.drv
/gnu/store/i4v7p1bakaz5mg4bkh1mgh4prf3cdjss-ghc-exceptions-0.10.3.drv
/gnu/store/iywqayy61d73lr91m20fk7q12b1pcfbi-ghc-8.6.5.drv
/gnu/store/j13by8vs112b07yjz74h3y90g9kqp2pp-ghc-boxes-0.1.5.drv
/gnu/store/jaipnrrbphwy9ikzd9b2fd2bxg9z1sf7-guile-3.0.2.drv
/gnu/store/jjkv2zvx1s8qk47nx6mnz5n5iqhq5q9b-tar-1.32.drv
/gnu/store/kbkrqk7xzyll0p4r5nr569sc7j7fxa2d-ghc-uri-encode-1.5.0.5.drv
/gnu/store/kq1c83fl4p7ap2ilcc7856kni287kxdp-ghc-edit-distance-0.2.2.1.drv
/gnu/store/kr17fb10wfdp95ws0ldbl1pprx7fyy8h-file-5.38.drv
/gnu/store/li9s2756l8n5y4b92089sifmxxscvq60-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/mf1kjlw050cz4v9iqc3azfhpii25y5qr-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/pnja3bqzzkml1pwnmg8xal4dqrpzhrvd-diffutils-3.7.drv
/gnu/store/qfb37lardni78naczldb1ia33n9ffvc7-gzip-1.10.drv
/gnu/store/qi9klwd98faajvkrr2kgjnwlrkf87bw2-ghc-data-hash-0.2.0.1.drv
/gnu/store/rlf3y96hkbl7akl7w23q351rrqan1xxp-patch-2.7.6.drv
/gnu/store/slkm0vl6iqz0gmab4mk8dha9pwav48h8-ghc-alex-3.2.4.drv
/gnu/store/wkrgrjfkpqdzdvv81nbra7bvskfl9i57-gawk-5.0.1.drv
/gnu/store/x34sglnjqcjkgvs4hdw5im0mp6d0q3kx-ghc-zlib-0.6.2.1.drv
/gnu/store/x67pgimwf2s4ifh1qjvw2i9bn0rlgf03-ghc-ieee754-0.8.0.drv
/gnu/store/xdwwm3j6s65bjcqb8yjbckh4g4lnh0ni-ghc-hashtables-1.2.3.4.drv
/gnu/store/xvbcdfcv26cszyiwi65lgxax2p8bwqrj-ghc-async-2.2.2.drv
/gnu/store/xxgj2j80mbc82bvyg9v70xc0nwzqc9dr-ghc-gitrev-1.3.1.drv
/gnu/store/y1a7hy8hzjqd0fxh8dzfizz6gbw4vxfj-Agda-2.6.0.1.tar.gz.drv
/gnu/store/yifs2ynz1vn4ivfhsbxqipxrx8cy008g-ghc-unordered-containers-0.2.10.0.drv

Derivation details

Builder/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile
Systemx86_64-linux

Build status

Unknown

Outputs

File name
/gnu/store/71bz7nd33anac70csdck2c9mjab8kkp9-agda-2.6.0.1