/gnu/store/7c9qj3gd69fhzpmz0z9l4mznx6zq1glc-
idris-1.3.3.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/09pirbpxvjfvay85b20564s7yrzf6rvd-
ncurses-6.2.drv
/gnu/store/0lbhi18l5x50c8w87a2r70j0pzi05jr7-
ghc-zip-archive-0.4.1.drv
/gnu/store/0z2qjwjklqy4i543csiwrn54v2hmpkpn-
ghc-utf8-string-1.0.1.1.drv
/gnu/store/1adwc8hi46lkxv2hfpdvxyn7zbns0ajn-
module-import-compiled.drv
/gnu/store/1pxng0zbd3agvdxpbx67jqz791rj7g79-
ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/1yl111k4giykc4dgivl8vwbdzr2scir4-
ghc-ansi-wl-pprint-0.6.9.drv
/gnu/store/23s01prigl6wln182d1cb3wdmjl2d9mr-
ghc-tasty-rerun-1.1.14.drv
/gnu/store/2922x14hs68pyzbdnvmr5f1kvllymj0m-
ghc-base64-bytestring-1.0.0.2.drv
/gnu/store/2hih4plmjllzxnhvkxhm40a8lhdh79f7-
grep-3.4.drv
/gnu/store/2ppjgdnn04ainspx1rkafw1ifl65a8gx-
ld-wrapper-0.drv
/gnu/store/3a1ay4z45kd14719a8z8lzqzk31pkqyl-
tar-1.32.drv
/gnu/store/40njmlldq9a8xh6a88qz8kd6cj7392k8-
ghc-8.6.5.drv
/gnu/store/4l5p91fd354m85jqd4vcg9mgdr6riinn-
ghc-cheapskate-0.1.1.1.drv
/gnu/store/4sykga21jfagp0fyizk6nzqgb8xkzl9i-
ghc-network-2.8.0.1.drv
/gnu/store/4x56s1pyp4zgch60jvc2pyvjm1mgmyjs-
idris-1.3.3.tar.xz.drv
/gnu/store/4y13mw9jhh273da8hridh4z4g5k1q06c-
ghc-tasty-golden-2.3.2.drv
/gnu/store/5hj30swdyxnma1vih5rl0a422sxwizig-
file-5.38.drv
/gnu/store/5lhvp6rm0cwb4c30spgp9xhx5yhd3q79-
findutils-4.7.0.drv
/gnu/store/62vi8hnzfd3d27jh7ayis1rbip3clwqq-
ghc-vector-0.12.0.3.drv
/gnu/store/6pza7giyf166ppq2j9l9i7qvyjbhagzy-
glibc-utf8-locales-2.31.drv
/gnu/store/6v29hry454jpbcz77301ygmflw52lwab-
ghc-vector-binary-instances-0.2.5.1.drv
/gnu/store/75pklyrr4yc41grs31kma31hk912zyzq-
binutils-2.34.drv
/gnu/store/7r5b64m0lpr6adinpz4i2v2pknfhddj0-
ghc-optparse-applicative-0.14.3.0.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/afr07i9lswp4qlqp6y2ppm4rgwj4s5s1-
ghc-tasty-1.2.3.drv
/gnu/store/bcp2cxbcr256ag7al9fzkinrcx75cvl4-
ghc-unordered-containers-0.2.10.0.drv
/gnu/store/bsi8x7c20fgvqa8wi0bjgzllaffdhkpv-
ghc-safe-0.3.17.drv
/gnu/store/cb329n0llbh4szpmjf9gph03v4xxnhl4-
coreutils-8.32.drv
/gnu/store/ckwxbndl120pjy19sw743s1wnmmj84yp-
gawk-5.0.1.drv
/gnu/store/csrwz5ync5p1nyapyr1p75gzsck8m3a8-
ghc-fingertree-0.1.4.2.drv
/gnu/store/d2gbjs29fdmx4fipv8gbzjfj0kp3kp86-
ghc-ieee754-0.8.0.drv
/gnu/store/d8b41a3ssxabwhc4i5ym555dgmxa2fk5-
ghc-code-page-0.2.drv
/gnu/store/dy6x9dx5w5az6j54r7kq6gp73xll454f-
guile-3.0.2.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/ifcz6pj7y1azhb4hm5vdq95cix5s3zz8-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/j0sf61a731cznf3v9v5riwx6q2qj5p16-
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/kdf45lwyksxyn686krng8gwc98sb6wba-
ghc-libffi-0.1.drv
/gnu/store/lq1rn548axdgzkvj8f6dfkxwnbgc3zvr-
ghc-async-2.2.2.drv
/gnu/store/lqwm5qan8403fi9wdcasv8nqs1pn5cc8-
ghc-blaze-markup-0.8.2.3.drv
/gnu/store/m5jmp26406805yyawh4khck6l7f0w8sk-
sed-4.8.drv
/gnu/store/mxlmh7g0pxcshsbblc6vyx2wzyw3qfxb-
ghc-ansi-terminal-0.9.1.drv
/gnu/store/nhgs5s3snprybbq0p169qxq6685das75-
ghc-aeson-1.4.5.0.drv
/gnu/store/pjpsk57yn7g3xbn2n9nwx67c5l9wr0rj-
ghc-uniplate-1.6.12.drv
/gnu/store/q2xqm8ylghiiib2llm1j2w04p1075kph-
linux-libre-headers-5.4.20.drv
/gnu/store/r7kkx6zvsly8566x3df98sr6j3lil67k-
bzip2-1.0.8.drv
/gnu/store/vp78awygnbsrkdm1ad4aqsaifps8bxn9-
ghc-annotated-wl-pprint-0.7.0.drv
/gnu/store/vvkkpy1yckl0ffnjni076csffgvkp67x-
ghc-fsnotify-0.3.0.1.drv
/gnu/store/w4p2l5gvagzdms7m2vad343mr5zdmlak-
ghc-megaparsec-7.0.5.drv
/gnu/store/wsb10346j3x49zy4fyyijxr4xmq1p9z9-
bash-minimal-5.0.16.drv
/gnu/store/zbzf29v3x9vf5ybpvzldbl2pwap1sgjk-
gmp-6.2.0.drv
/gnu/store/zvlrr8fsrpd9cbxsydaldmnby9vlpr8p-
ghc-split-0.2.3.3.drv
Derivation details
Builder
/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-
guile-3.0.2
/bin/guile
System
armhf-linux
Build status
Unknown
Outputs
File name
/gnu/store/y3h5rq70wiylirx8bvndx733rb3i8b65-
idris-1.3.3
/gnu/store/ih0b1vnm6zzxfhl9x6vjsyhb47q0siab-
idris-1.3.3-static