/gnu/store/5xv1z0snrywr68fig4qcq090shg0iapx-idris-1.3.3.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/09pirbpxvjfvay85b20564s7yrzf6rvd-ncurses-6.2.drv
/gnu/store/1adwc8hi46lkxv2hfpdvxyn7zbns0ajn-module-import-compiled.drv
/gnu/store/21vd4gr16kzns56pz3sjdfha5ppgzrnv-ghc-zip-archive-0.4.1.drv
/gnu/store/2hih4plmjllzxnhvkxhm40a8lhdh79f7-grep-3.4.drv
/gnu/store/2ppjgdnn04ainspx1rkafw1ifl65a8gx-ld-wrapper-0.drv
/gnu/store/3427730xab9rsy4cidw7llns839ymqac-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/3a1ay4z45kd14719a8z8lzqzk31pkqyl-tar-1.32.drv
/gnu/store/3sk6kpgb3jbkl8lhqbwf4jskcnim7rxr-ghc-cheapskate-0.1.1.1.drv
/gnu/store/4x56s1pyp4zgch60jvc2pyvjm1mgmyjs-idris-1.3.3.tar.xz.drv
/gnu/store/5hj30swdyxnma1vih5rl0a422sxwizig-file-5.38.drv
/gnu/store/5lhvp6rm0cwb4c30spgp9xhx5yhd3q79-findutils-4.7.0.drv
/gnu/store/61cl9nl99d8lcmjhksgry79aw4nazysr-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/6lv62bp327a4bfdycfwd3msm7ywpkfwd-ghc-tasty-rerun-1.1.14.drv
/gnu/store/6pza7giyf166ppq2j9l9i7qvyjbhagzy-glibc-utf8-locales-2.31.drv
/gnu/store/75pklyrr4yc41grs31kma31hk912zyzq-binutils-2.34.drv
/gnu/store/882hzl1571cnyps1p5f850ywy9r2r0mr-gcc-7.5.0.drv
/gnu/store/96mc3a46h3y0z6p63x047624m0zgagl7-glibc-2.31.drv
/gnu/store/9kqava78khps5441r2jpcfdwy3sd0s5a-gzip-1.10.drv
/gnu/store/a27g7i7pypr51irfb73838i919znyhlj-ghc-vector-0.12.0.3.drv
/gnu/store/aadbaijpvi6dl3jk37bx61qsrrgnz04m-ghc-optparse-applicative-0.14.3.0.drv
/gnu/store/bc4vamarwi22ajgnslqc8wsymfznw09f-ghc-base64-bytestring-1.0.0.2.drv
/gnu/store/bmv995jll53x6gk64vhpddi3v9lzjajy-ghc-blaze-markup-0.8.2.3.drv
/gnu/store/br2jkkxdq38qghbwqv310mb7x5av55ac-ghc-vector-binary-instances-0.2.5.1.drv
/gnu/store/cb329n0llbh4szpmjf9gph03v4xxnhl4-coreutils-8.32.drv
/gnu/store/ckwxbndl120pjy19sw743s1wnmmj84yp-gawk-5.0.1.drv
/gnu/store/dakfgcjx80iliy5vnd808bpxyfqqfaga-ghc-libffi-0.1.drv
/gnu/store/dkngz6fwh08qgzdjy997ikj0siv5lz0h-ghc-split-0.2.3.3.drv
/gnu/store/dy6x9dx5w5az6j54r7kq6gp73xll454f-guile-3.0.2.drv
/gnu/store/f8brs4l7c4ciaipqnr2v690j0fr60wlh-ghc-code-page-0.2.drv
/gnu/store/fjz2jjm2y0kss9i3q3sy66xx28lry3is-ghc-8.6.5.drv
/gnu/store/fplanimkqvmnv86d39wz8mvx1dj6j40k-ghc-utf8-string-1.0.1.1.drv
/gnu/store/gbkjkf0wf0gpq1zpxyd9x897hibshbdb-ghc-aeson-1.4.5.0.drv
/gnu/store/gcqsxhr5525z86l43pkxl156129mrrfz-ghc-tasty-1.2.3.drv
/gnu/store/gfadfmwcwfisrnmfqyzg4mwn5fp6mmzz-xz-5.2.4.drv
/gnu/store/gmczb4cidyv2j8hh11lhavdpgj88d1nf-diffutils-3.7.drv
/gnu/store/hx5c60cixdda2d309vrlxl790kj4m9qh-perl-5.30.2.drv
/gnu/store/i36nhbmg20g5adllhndfzyanphzx3k1z-ghc-blaze-html-0.9.1.2.drv
/gnu/store/iaghvd8yy1134mlsm4gw5a6569fb2bm2-ghc-terminal-size-0.3.2.1.drv
/gnu/store/jhj9d04q2f80fp2awbs4b4rx5sbpjxbr-make-4.3.drv
/gnu/store/jnl1vpvfinm7j91db7knzyvwm73zq4nn-patch-2.7.6.drv
/gnu/store/kgq9dcy467sn5pf4ns4v4fwcia2w9a0d-ghc-async-2.2.2.drv
/gnu/store/lql93n6qj3pgvxl8ilaigx6w5qmvr1nj-ghc-tasty-golden-2.3.2.drv
/gnu/store/m5jmp26406805yyawh4khck6l7f0w8sk-sed-4.8.drv
/gnu/store/mxgwqm0mc5vk82g6rdf8smm8sik8xjrk-ghc-fingertree-0.1.4.2.drv
/gnu/store/pfgji0irpa8xbbp17fmfz3wkmhfvj6hi-ghc-network-2.8.0.1.drv
/gnu/store/q2xqm8ylghiiib2llm1j2w04p1075kph-linux-libre-headers-5.4.20.drv
/gnu/store/qq9z676dbkxhmg7njg5q9sbmsdbkyk2n-ghc-ieee754-0.8.0.drv
/gnu/store/r7kkx6zvsly8566x3df98sr6j3lil67k-bzip2-1.0.8.drv
/gnu/store/vj7n0m564j2wpbd0qkkc7nn16y9392di-ghc-annotated-wl-pprint-0.7.0.drv
/gnu/store/wlg1avnzr40b88n041rnbwq9xn45fgin-ghc-ansi-wl-pprint-0.6.9.drv
/gnu/store/wsb10346j3x49zy4fyyijxr4xmq1p9z9-bash-minimal-5.0.16.drv
/gnu/store/x3rw4h42mrxjm0400nxf77l9afxgz3gx-ghc-fsnotify-0.3.0.1.drv
/gnu/store/x9q3wwj9mjlsx570h3l08fdfbramipa5-ghc-uniplate-1.6.12.drv
/gnu/store/xwlyh2c42qfr3zk41js4di4ynslsgyza-ghc-safe-0.3.17.drv
/gnu/store/y314898rb0yb9qqnl7dm6rxrz8lpyw1v-ghc-megaparsec-7.0.5.drv
/gnu/store/z7lj7d04bkanl6jwd911ic2bhnvr15sw-ghc-ansi-terminal-0.9.1.drv
/gnu/store/zbzf29v3x9vf5ybpvzldbl2pwap1sgjk-gmp-6.2.0.drv

Derivation details

Builder/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile
Systemarmhf-linux

Build status

Unknown

Outputs

File name
/gnu/store/z532brk95wn2v0g6w5h0417w2jsw1i04-idris-1.3.3
/gnu/store/8bbqh5s5xm6l31rydw3rwshdkk4b7077-idris-1.3.3-static