/gnu/store/wasfqcf9s6rg2k0m1kp52fhzi92hkh0y-idris-1.3.3.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0amsfhryksi3jbmxy745h3g0xnrfcnzw-xz-5.2.5.drv
/gnu/store/0bpkgfiqsaza4vpcrsb3dgx85lpds2c0-tar-1.34.drv
/gnu/store/0g2wqcmxf88l43rcc57baji7ys5hmqbh-ghc-ansi-terminal-0.11.drv
/gnu/store/0ji3nkpri1dj6dlklddrcy2jsx40dsqx-ghc-network-3.1.1.1.drv
/gnu/store/1brswf4psxn90jxjr38cqacwgvykn071-ghc-megaparsec-9.0.1.drv
/gnu/store/1icnmjs278img4iknxpn4wapa6dnw6f7-ghc-vector-binary-instances-0.2.5.2.drv
/gnu/store/1l124jdidqjlmkhmi54xg6fjmaf7yswx-ghc-fsnotify-0.3.0.1.drv
/gnu/store/2y5b4dh0l39ihikkcq1fsxyzjpafi286-sed-4.8.drv
/gnu/store/3jrsias8r2cmh1fy992kx1qnb26xhh9f-file-5.39.drv
/gnu/store/57kxr8dkf92pywfs52hip0wj9dxgddcv-ghc-split-0.2.3.4.drv
/gnu/store/5mbrym5imd3jg1rp60jip5jvhnl16x0w-gcc-10.3.0.drv
/gnu/store/7j5s2vymxsbi0d4rv0jh8vsxnvd07795-bzip2-1.0.8.drv
/gnu/store/7x9c6s0zm95fvzmvxv2cw3smwdh4jnh2-ghc-vector-0.12.3.1.drv
/gnu/store/81j34y05qnz6hcl7nfdjgq708m7mdvlb-ghc-utf8-string-1.0.2.drv
/gnu/store/84c3yihm0x12fhmh280b14y3bmyx7pdw-gmp-6.2.1.drv
/gnu/store/85dw0n9y6r1i67g5l830c34aav95v689-ghc-safe-0.3.19.drv
/gnu/store/8rwlxhznhsw89lif0gngfvpczl2n6360-ghc-blaze-html-0.9.1.2.drv
/gnu/store/8yxscr8mj8k21lwgwdimwna543cr69dq-glibc-utf8-locales-2.33.drv
/gnu/store/913rcx9sg4j7mv5j7qnq0zzjcybr13w7-ghc-cheapskate-0.1.1.2.drv
/gnu/store/a9f7hyfw73597429ayfy9ai4836prz90-ghc-blaze-markup-0.8.2.8.drv
/gnu/store/am5ffgpfwh04di06mijinqcd5bhmy8i0-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/bn7h8pfdbn8fhdnavdxcl5y6yr32fq1x-ghc-terminal-size-0.3.2.1.drv
/gnu/store/bsxs725pjlq5bhh2v0dpv4qky4w2pz4g-ghc-aeson-1.5.6.0.drv
/gnu/store/ckp8vjnlqw52s4r6v0v1m634h60n11z4-ncurses-6.2.20210619.drv
/gnu/store/d215ri3v178bmdq6qv0piqd2n1yz4wxy-gawk-5.1.0.drv
/gnu/store/dfkf9asg2ajcqjiz0d6wydw14higbvzp-binutils-2.37.drv
/gnu/store/dkbbnyqx86l36ihxzxnjc3r3p9p818j3-coreutils-8.32.drv
/gnu/store/fbvxp50qnhsjhzvrq2ndbj3mh5g7r47m-ghc-code-page-0.2.1.drv
/gnu/store/gvrrl664r0zfh20y2y496aw6fylwypg5-ghc-ansi-wl-pprint-0.6.9.drv
/gnu/store/i4mlkri0wkaja0nzgrfc50v8nhqid058-ghc-tasty-rerun-1.1.18.drv
/gnu/store/ic27dmqsl2zgyr2jsh0rgnwxvaqrmkas-ghc-libffi-0.1.drv
/gnu/store/iq431kmswl9r7yjk4s4sn8859mafyrw7-ghc-tasty-golden-2.3.4.drv
/gnu/store/jlnl1wdswlf5x92lxd48p79iwqg95hvk-ghc-ieee754-0.8.0.drv
/gnu/store/jy6757b5w7w9klp8j2b7b2l9msx9dxlz-patch-2.7.6.drv
/gnu/store/kkjkdva4fx550hhdr98v9mnn9wf1aa9h-glibc-2.33.drv
/gnu/store/lrs5jckrf3a4dvxh45xcrcz93kz8mnc5-ld-wrapper-0.drv
/gnu/store/mjh95hyff9nf72rx8q2pxg9iv4xzvpr2-bash-minimal-5.1.8.drv
/gnu/store/mnki0ncwzm76c2l0yqkgwrdxim1hhn0d-linux-libre-headers-5.10.35.drv
/gnu/store/mrafakpbng271na8hx8hxlab5rr2ydqz-grep-3.6.drv
/gnu/store/qcbafvgmhddr83agad27vsbs3yvkbc9k-module-import-compiled.drv
/gnu/store/qm2dyy938rcwzynpqfn6ayy84c2bz6l6-make-4.3.drv
/gnu/store/qmwr4hyhvbpflg044zxdkadfsc35jwdc-ghc-uniplate-1.6.13.drv
/gnu/store/rdcd8pc6jj5jvv73ga1z881whf0py1wr-guile-3.0.7.drv
/gnu/store/rdnixczjlyhin2fisr0v9qk7kjaps4cz-ghc-base64-bytestring-1.1.0.0.drv
/gnu/store/rrds9y2f4v30783ha64fzpsj2big4bx8-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/v5s34whbm7jq89jzazl9hym86vkgg770-diffutils-3.8.drv
/gnu/store/vmw48ny7dspxljf5hpagmd8jg5gpn4rg-findutils-4.8.0.drv
/gnu/store/vzkb1ha095acrc76s5rvpy095w2ndiwr-ghc-tasty-1.4.2.drv
/gnu/store/wcq1axrrvi1qcg8zcxhx2kf1ghjmkjbc-idris-1.3.3.tar.xz.drv
/gnu/store/wp26via85pfr7ff1sj14prjvfgqnrbks-perl-5.34.0.drv
/gnu/store/x27ywi2fw304v62acajnj912ysiskdg9-ghc-async-2.2.4.drv
/gnu/store/xgdjv27ddx39h1lrgd04mdhc8n5vx48p-ghc-fingertree-0.1.4.2.drv
/gnu/store/xijfq2nhiap30il2k4krxjfbvzh9d3wi-gzip-1.10.drv
/gnu/store/xqg8ny62bn7rccajz638biiam8pa9mnr-ghc-annotated-wl-pprint-0.7.0.drv
/gnu/store/y03w2fz7av41vxaw2aihrr2sdbiqkmy1-ghc-8.10.7.drv
/gnu/store/zi59rbgqxcijpaavcqs0dsbcwscqsr78-ghc-zip-archive-0.4.1.drv
/gnu/store/zx7hl71gbjcmyir3143iaxwj0l2zx8lx-ghc-optparse-applicative-0.16.1.0.drv

Derivation details

Builder/gnu/store/51a2z3p12w8h8bwih5zishd0waf4ry1m-guile-3.0.7/bin/guile
Systempowerpc64le-linux

Build status

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

Outputs

File name
/gnu/store/y9160rnz28fv0v8wq77cjm5g5l9qvinz-idris-1.3.3
/gnu/store/j0c4kfy3s8fa78fcb5n4cnb4ll423njk-idris-1.3.3-static