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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/09x2cmj8l08i43rzm1z64wyxpbpwbkh4-ghc-fingertree-0.1.4.2.drv
/gnu/store/0inxn43x3ca9a22hdyx663ipf7vjbl78-ld-wrapper-0.drv
/gnu/store/2dxxjdds5dvp8bkv7klwzlzqg5fqswk2-ghc-base64-bytestring-1.0.0.2.drv
/gnu/store/2sqkiq9hm3vxkhkfv9vf5djajqgyd3xs-ghc-megaparsec-7.0.5.drv
/gnu/store/4b2l28zixdlygyh6yqqrfj7hjj3yvrdd-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/4d5cnx4vb6az4w3r1zrhcclx8b5nqyij-ghc-utf8-string-1.0.1.1.drv
/gnu/store/4wf9qbgs9fs241bv7m9yjh3zl92x8vid-ghc-network-2.8.0.1.drv
/gnu/store/6f6m141dyb9726mgx2xa9zbbvqlcsn84-ghc-zip-archive-0.4.1.drv
/gnu/store/6i1ii9bq4hbi847kv626ys0n95hnyh10-sed-4.8.drv
/gnu/store/7cymiazqp1721hbfrl4g3ibsfyb3z883-ghc-tasty-rerun-1.1.14.drv
/gnu/store/8npba0p02ha5gi1f18ary17g24kfwd3j-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/910ksvv8vjidyx58g67wp9ls6595yba3-diffutils-3.7.drv
/gnu/store/9319vlc36ja07vycyzskhgfr0b5ldqr8-ghc-split-0.2.3.3.drv
/gnu/store/9i06gfzysdldy50qynhxa5vvqsh6fwhk-make-4.3.drv
/gnu/store/adchx95vspav4wlbfbwzzk6cbhil7g6k-module-import-compiled.drv
/gnu/store/ah6slan2f1dqkiym25j9ylclgspi01m3-ghc-ieee754-0.8.0.drv
/gnu/store/aiizxjks74317k05ixhx1n2sr4mdp48k-ghc-blaze-markup-0.8.2.3.drv
/gnu/store/b0dvj99f78gp4y9270x699qfhabywz62-ghc-libffi-0.1.drv
/gnu/store/d06cmprn159z5xqqyb6hxav7099dklkk-ghc-annotated-wl-pprint-0.7.0.drv
/gnu/store/d3kpbps11i2k8f2qgr9rwrafrjbfmv28-findutils-4.7.0.drv
/gnu/store/ds2wi6cidd74jm9l13180a66ha6kqdb6-ghc-safe-0.3.17.drv
/gnu/store/f6l3qdyazb438cfwn9bfk4z2fwm762hm-ghc-blaze-html-0.9.1.2.drv
/gnu/store/fl42gmplbqyyylrpgrl7nih8w6wkcd11-gawk-5.0.1.drv
/gnu/store/fr37y3kwp0wlcl3pnnxix9wgwllmzw2b-file-5.38.drv
/gnu/store/framy1df0cssx4lhd99zh5wwwfk6nl9m-gzip-1.10.drv
/gnu/store/fsv8qb1qp297n0ix8hrnhz6lly695h82-ghc-async-2.2.2.drv
/gnu/store/g4g568h5bfgx87naxbm851q15xj941jy-guile-3.0.2.drv
/gnu/store/g5cws2mdaakdfa91aj08fqq5wb5hzhkx-idris-1.3.3.tar.xz.drv
/gnu/store/g6cwr64qn5m65vf01d7i06gnyvrxzmzi-glibc-2.31.drv
/gnu/store/hix79nk01zwssl6s7i0ac3ybyvdg2g7r-ghc-tasty-1.2.3.drv
/gnu/store/hswqa8rxalpx1f58ps7kl29cnr02n8zi-tar-1.32.drv
/gnu/store/i6q7xc97knvg3lknhifgzdlp6rfzdf80-grep-3.4.drv
/gnu/store/ici5jalq3mgwkbx5zxa74fqsfkahicxh-ghc-tasty-golden-2.3.2.drv
/gnu/store/ipjc8cndr327bkcr700mcj5br2kk04wh-ghc-ansi-wl-pprint-0.6.9.drv
/gnu/store/ipzbxw4jhkqqrilidiiq00qrknb9qcn8-gmp-6.2.0.drv
/gnu/store/j493v2jp169pikslas32vxsnkyipviil-ghc-code-page-0.2.drv
/gnu/store/kpxmksrdp8kwbrsax5lsw77y06blxx29-binutils-2.34.drv
/gnu/store/kxinvpjnjg42d32r3zxrdx39djfshg26-ghc-aeson-1.4.5.0.drv
/gnu/store/ld1yrz54knirgh4pv5bgls777cqsg2jx-xz-5.2.4.drv
/gnu/store/llkcqy8hlqw44zd84zqqxvxxhx5n5kk2-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/lxyicdf6pjr7j71a64jb6nlvzi92xgpj-ghc-vector-binary-instances-0.2.5.1.drv
/gnu/store/m7zcl2z63z1lrxvbrcjlypdxngcmw3n2-coreutils-8.32.drv
/gnu/store/mwz36cvqnpr1j9bfshscaaclxpjxr66h-ghc-uniplate-1.6.12.drv
/gnu/store/n0qiysrkfwx0v1q6fqcxq0rmy5a5ahzn-bzip2-1.0.8.drv
/gnu/store/q4lzl5wkakpjvlmw6isr5yyblfrgl8mw-ghc-8.6.5.drv
/gnu/store/q8bvxw9vji6zzkzy9m2kj8x70fiy1f9q-patch-2.7.6.drv
/gnu/store/qiyxk169w1mzc976dik54ihdvvvay58i-perl-5.30.2.drv
/gnu/store/r2qj0njvq9rq83kzn376dyi5h69m6pqh-ncurses-6.2.drv
/gnu/store/sxh86dqj37b0fsmbkaxmv0sqf2grm50z-ghc-ansi-terminal-0.9.1.drv
/gnu/store/szn3akn098nhy3xgd8g4wcz2q9qwlc3g-ghc-vector-0.12.0.3.drv
/gnu/store/wbh2i0jisgc0x55qyylnz39xmpava30z-ghc-cheapskate-0.1.1.1.drv
/gnu/store/wi3yvnjfk6js253qa4d5f0vhgf4wz8vv-bash-minimal-5.0.16.drv
/gnu/store/x2rggilj637yy4v6c5aiy7w9q09ky81g-ghc-terminal-size-0.3.2.1.drv
/gnu/store/y1dw07m1g7yqvb9f83kkh7a59d8mn9qg-ghc-fsnotify-0.3.0.1.drv
/gnu/store/yasy9xa9wrw43byl33l7c8zgjzvbz7hx-gcc-7.5.0.drv
/gnu/store/zgska27wvj98czqkbwz1ja7ywb4hl6s5-ghc-optparse-applicative-0.14.3.0.drv
/gnu/store/zvk0rdw28kzq424n6v4pd96nw3n7cmr1-glibc-utf8-locales-2.31.drv

Derivation details

Builder/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile
Systemi586-gnu

Build status

Unknown

Outputs

File name
/gnu/store/cfij5nng5xxdl836naq6m3p5256n7g06-idris-1.3.3
/gnu/store/r0x14yjbvcgdxqyr071dh6diwdia3xr4-idris-1.3.3-static