/gnu/store/n7y6370i4vk433wf63axrkmqswbdm1hx-
idris-1.3.3.drv
Detail view
Formatted view
Plain view
View 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
System
i586-gnu
Build status
Unknown
Outputs
File name
/gnu/store/cfij5nng5xxdl836naq6m3p5256n7g06-
idris-1.3.3
/gnu/store/r0x14yjbvcgdxqyr071dh6diwdia3xr4-
idris-1.3.3-static