/gnu/store/nn5bm5d4w100qngjp111rsfj7m91fgx6-
idris-1.3.3.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0inxn43x3ca9a22hdyx663ipf7vjbl78-
ld-wrapper-0.drv
/gnu/store/2i7rmashpf7cyl506z5yhrg8zf81ddji-
ghc-tasty-golden-2.3.2.drv
/gnu/store/3b96g19axrxibc0byrgk793x8p3x3zff-
ghc-8.6.5.drv
/gnu/store/4b2l28zixdlygyh6yqqrfj7hjj3yvrdd-
hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/68biff4idv52qayjh6caih63fykw7wyh-
ghc-code-page-0.2.drv
/gnu/store/6f5imqclqkvlgg3iy1z2w7izarr18x6g-
ghc-zip-archive-0.4.1.drv
/gnu/store/6i1ii9bq4hbi847kv626ys0n95hnyh10-
sed-4.8.drv
/gnu/store/7qk0yz086yk5gh4zfywz880485xj45vl-
ghc-async-2.2.2.drv
/gnu/store/910ksvv8vjidyx58g67wp9ls6595yba3-
diffutils-3.7.drv
/gnu/store/9acf0zswfabviglabwyfd38dw072k24k-
ghc-tasty-1.2.3.drv
/gnu/store/9i06gfzysdldy50qynhxa5vvqsh6fwhk-
make-4.3.drv
/gnu/store/9mq2hb55qlqv1zcmfzpq8w9fxyv18fv3-
ghc-fsnotify-0.3.0.1.drv
/gnu/store/adchx95vspav4wlbfbwzzk6cbhil7g6k-
module-import-compiled.drv
/gnu/store/bxqcbg57072zj6w73irphaiin91vf3n5-
ghc-blaze-markup-0.8.2.3.drv
/gnu/store/c43ckwz24156y5szs38f26mmhg9lkhvl-
ghc-utf8-string-1.0.1.1.drv
/gnu/store/d3kpbps11i2k8f2qgr9rwrafrjbfmv28-
findutils-4.7.0.drv
/gnu/store/di25h6s31dnaad5fh0cflcs5c9ws73qg-
ghc-split-0.2.3.3.drv
/gnu/store/dw2jbz1nbyz03bhisydfpg08aqr3h11x-
ghc-fingertree-0.1.4.2.drv
/gnu/store/f0wjd7csjzlc6gvy62ga2x5d32crb2y9-
ghc-network-2.8.0.1.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/g35g1hv75i7ghrixq4v03rxyfb1r9v4x-
ghc-aeson-1.4.5.0.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/gijyyr9z632ab3vwq6pbr81zfvya7v0d-
ghc-optparse-applicative-0.14.3.0.drv
/gnu/store/hswqa8rxalpx1f58ps7kl29cnr02n8zi-
tar-1.32.drv
/gnu/store/i6q7xc97knvg3lknhifgzdlp6rfzdf80-
grep-3.4.drv
/gnu/store/ic5i5lrixi7yipjciqgk6za6xhlsl823-
ghc-safe-0.3.17.drv
/gnu/store/ipzbxw4jhkqqrilidiiq00qrknb9qcn8-
gmp-6.2.0.drv
/gnu/store/jkf4r4sm8vrcakpywip1lqx4j81fbwfd-
ghc-tasty-rerun-1.1.14.drv
/gnu/store/k1h4ywv6xni04hic5148khmxx3s2ywk2-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/kgjg2jrr0c69pghpnawyx88i5jikmabl-
ghc-vector-0.12.0.3.drv
/gnu/store/kiqarz3sc2zj70wlglnprz6rd1vkxs71-
ghc-uniplate-1.6.12.drv
/gnu/store/kpxmksrdp8kwbrsax5lsw77y06blxx29-
binutils-2.34.drv
/gnu/store/ld1yrz54knirgh4pv5bgls777cqsg2jx-
xz-5.2.4.drv
/gnu/store/m7zcl2z63z1lrxvbrcjlypdxngcmw3n2-
coreutils-8.32.drv
/gnu/store/mdpcy9fbwg7qy5xwkny1ai9lhh3h9aig-
ghc-libffi-0.1.drv
/gnu/store/n0qiysrkfwx0v1q6fqcxq0rmy5a5ahzn-
bzip2-1.0.8.drv
/gnu/store/nbnhar0a7yc97z55dwm86d5p37ajnsix-
ghc-ieee754-0.8.0.drv
/gnu/store/ncsff5z3qzgcc9w6nps2nwmgdbzp6fnc-
ghc-ansi-wl-pprint-0.6.9.drv
/gnu/store/nrx7lx3gxglv0khisqnymyijw165ws22-
ghc-annotated-wl-pprint-0.7.0.drv
/gnu/store/ny1ysswmw289pwklmp13srabyh0gzd0y-
ghc-regex-tdfa-1.2.3.2.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/r97zzqwl2id2lim6hfmyv91kw4izy0pl-
ghc-base64-bytestring-1.0.0.2.drv
/gnu/store/rjyddggarhwsvc4vvdi0msav4161dflv-
ghc-unordered-containers-0.2.10.0.drv
/gnu/store/s9v3jkb5y3v7kgajhw81fyc6fciahymn-
ghc-ansi-terminal-0.9.1.drv
/gnu/store/sc3i1spfcksmrbsy0wav3kd76r3zifbn-
ghc-terminal-size-0.3.2.1.drv
/gnu/store/vv4wx4ynxbvqh06xkx7zi1l9ayimfx5n-
ghc-cheapskate-0.1.1.1.drv
/gnu/store/wi3yvnjfk6js253qa4d5f0vhgf4wz8vv-
bash-minimal-5.0.16.drv
/gnu/store/yasy9xa9wrw43byl33l7c8zgjzvbz7hx-
gcc-7.5.0.drv
/gnu/store/zvk0rdw28kzq424n6v4pd96nw3n7cmr1-
glibc-utf8-locales-2.31.drv
/gnu/store/zwkw75k6a2j3hjdx948s5jiyhs5flsrz-
ghc-megaparsec-7.0.5.drv
/gnu/store/zxjgx4bvifr2205426hjw4h3fq1fp2lr-
ghc-vector-binary-instances-0.2.5.1.drv
Derivation details
Builder
/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-
guile-3.0.2
/bin/guile
System
i586-gnu
Build status
Unknown
Outputs
File name
/gnu/store/mj11rys5h4bjpw8cxpw5l5k2a5z3ajrm-
idris-1.3.3
/gnu/store/bj37n6r2izjml3z30k6shk8h34hpg5dh-
idris-1.3.3-static