/gnu/store/y85ybvqy4jxx1fdvl3cad5qbqx5kixsd-idris-1.3.4.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0169k095aqmplx9k2rdip9aaxrdrnj2f-ghc-tasty-rerun-1.1.18.drv
/gnu/store/16a9dqrimxg8d7j7jdcpkncarmcfiq41-module-import-compiled.drv
/gnu/store/194c8pqpd7b5m63yzz5zywfrb2nx8zjg-glibc-2.33.drv
/gnu/store/2hg6w2rqy0rpx7agv4rn2ll7vb7sbaqf-grep-3.6.drv
/gnu/store/34vrkgk1qnnjg4f4d58ygh230z9g9jjl-gawk-5.1.0.drv
/gnu/store/3gx2sqyzmb76j1z5rdk8phgsda30sv9x-ghc-libffi-0.1.drv
/gnu/store/3hkablb49p9a4gphqb2n75i31xcxdix6-linux-libre-headers-5.10.35.drv
/gnu/store/3iql16wz58j5fc728ri721hpifqxvc4f-ghc-optparse-applicative-0.16.1.0.drv
/gnu/store/3v8k6kyzhr6lp5lqnn7yvp2srxkwr9xl-ghc-terminal-size-0.3.2.1.drv
/gnu/store/47nqpll5iv4yxr7nhjr0pszj9kwmc5dz-ghc-network-3.1.1.1.drv
/gnu/store/5a1gzyi7miwhpd4a8h2l9h8iaa546np4-ghc-tasty-1.4.2.drv
/gnu/store/5qjj1kn6axv4hy8js1m6yi4rf2mk3iwn-tar-1.34.drv
/gnu/store/6a5g33fip668h4yyrn3rgkzv8igbflwk-ghc-8.10.7.drv
/gnu/store/6g21sykysc0ifx8lah0vqr3v1jbnfa3b-idris-1.3.4-checkout.drv
/gnu/store/6ph1dss18bpajhvx566lw2xyq7bbskjm-ghc-aeson-1.5.6.0.drv
/gnu/store/74lbpp4zs1bs2xm9yv8pkgyb6hvx730p-gmp-6.2.1.drv
/gnu/store/81wv5pmavzvpdxkahs2k44p964fs357y-ghc-fingertree-0.1.4.2.drv
/gnu/store/8cydnl8fg2ylcc4xqhyq8mpmybycz4ia-ghc-ansi-terminal-0.11.drv
/gnu/store/9rabmhmchbmkwr58099c1hllqflwq5r9-binutils-2.37.drv
/gnu/store/ajds7fk3kmzw5lnjjr1fqsa7x91b1xc9-make-4.3.drv
/gnu/store/aq6g1czdjqym1c2xmg8fq8dj54bk2viq-ghc-uniplate-1.6.13.drv
/gnu/store/aqlrf5kwlwznh3jw2zrkr6avsnv5riyx-ghc-base64-bytestring-1.1.0.0.drv
/gnu/store/bwnhl5di3vj27k8ymc7i07djz2iq8ym7-coreutils-8.32.drv
/gnu/store/csl9j8bmm1gyn7vpzzn3z4g2k6d6qh0z-glibc-utf8-locales-2.33.drv
/gnu/store/dasxgaqgchfaqrkfa9c64bqr3fzq4jw8-ghc-blaze-markup-0.8.2.8.drv
/gnu/store/fc7ba4qw7n02i7g61i8ik6l1sk5rvvcv-ghc-vector-binary-instances-0.2.5.2.drv
/gnu/store/fqf35fxla2fkjw8cxf4vmgq2m36370cg-perl-5.34.0.drv
/gnu/store/g8i4wdrbc2pw8g4zrf6hi1gk4k53pga1-ghc-utf8-string-1.0.2.drv
/gnu/store/gl32lmyqvf0vvmapdms2kw12yyxwxj33-gzip-1.10.drv
/gnu/store/gmyqwbw4mkr26hjhapa1kybly6n3bfjd-ghc-safe-0.3.19.drv
/gnu/store/h8q9gr1w1hw75pkhyqh5x7yc05h03zw5-ghc-fsnotify-0.3.0.1.drv
/gnu/store/hapk20xrhbxikdadp56zglghad24fgv5-file-5.39.drv
/gnu/store/i1vllcvny7npjrwfcsxjynh1j410babw-ghc-blaze-html-0.9.1.2.drv
/gnu/store/iaff2wbib27iqr5pyc5hpbkg95cpnq7z-ghc-code-page-0.2.1.drv
/gnu/store/j1bvgkdg3r50ya03mqz3z3108wywbq85-ghc-megaparsec-9.0.1.drv
/gnu/store/kqndjfaiq12pwzfrir58bc65kzwpvvph-ghc-ieee754-0.8.0.drv
/gnu/store/kz1nk1px1h9h2yqf2kl3pwqp0d24r2h0-ghc-zip-archive-0.4.1.drv
/gnu/store/lhqwz41gw1qr8x881m3f6j72h98f2f73-ghc-split-0.2.3.4.drv
/gnu/store/m0ciasl7f6wlp583f7bypsv4ldhjxk0x-ghc-tasty-golden-2.3.4.drv
/gnu/store/m19nc275s2nz1f172mnm7zc2w2zxwhb6-patch-2.7.6.drv
/gnu/store/nxlhlkjqs233kncnrg2hd7zwphbwk0ri-guile-3.0.7.drv
/gnu/store/p8rifsjc4ia481b40p6r2w4344kc24mw-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/pf36rhaxjp2hp6jl1yyqgx05407hlal0-xz-5.2.5.drv
/gnu/store/qiycpi0sv63db555cp25m0rbdjxidxga-gcc-10.3.0.drv
/gnu/store/qkh2j6jwr7jx2bj5vbz5h11v1nj0b554-ghc-async-2.2.4.drv
/gnu/store/raqyjap5crv47m9rfp3kjw3wnwq0qpl0-ghc-annotated-wl-pprint-0.7.0.drv
/gnu/store/rhh63mgij49k9qydp3wb2fipxsv2pkld-ghc-cheapskate-0.1.1.2.drv
/gnu/store/rpjkbd8ibvsiq7hjrylyi0rb8650vk7b-ghc-ansi-wl-pprint-0.6.9.drv
/gnu/store/szan44yiaz4r68bs868vn52hcg0hyls8-sed-4.8.drv
/gnu/store/vp7blk3zknp8d27y0grg9as3vavgcd1n-ghc-vector-0.12.3.1.drv
/gnu/store/vw8fa8igldh8nv0mqysynqvyxwcc1dib-bash-minimal-5.1.8.drv
/gnu/store/x7jk3v7gjy6mi0wzcy9vmpxh02q2yzqk-ncurses-6.2.20210619.drv
/gnu/store/xgqxi5ww3vapfsy9jjwhrl7jskh22avw-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/xnzyc5imnf5rpnwjppb19d9qfh7z8gf7-diffutils-3.8.drv
/gnu/store/y3f2c2x70iwk2r62s4i38c90lp8wv0ff-bzip2-1.0.8.drv
/gnu/store/yh1ik1sk8kh3zcrzcf7c38fj32dgg9jw-findutils-4.8.0.drv
/gnu/store/yiqpp1g4p9kkfsk47gvn8ddg0g07zvfl-ld-wrapper-0.drv

Derivation details

Builder/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-guile-3.0.7/bin/guile
Systemx86_64-linux

Build status

Succeeded
View build on https://bordeaux.guix.gnu.org

Outputs

File name
/gnu/store/7ig0vf99j1bs2gvckvkwag6km6161ir4-idris-1.3.4
/gnu/store/921izj6anjvk5s9v4iiy7a8jf2p0cxkh-idris-1.3.4-static