/gnu/store/0fyzji8cn9ypjdivrp901kbvny7jkk9s-
idris-1.3.3.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/z53p4ahsxrxcd5m5xzkiwgvpyqjij8qp-
idris-1.3.3
","","#f"),
("static","
/gnu/store/s1j9n1rxn2n3jd680x8zhca37hwyxg1a-
idris-1.3.3-static
","","#f")
],[
Inputs
("
/gnu/store/03rxdfj8mnlqsgxcpn0r80qvvnwdlq7g-
bash-minimal-5.0.16.drv
","["out"]),
("
/gnu/store/11b9rnr9rv6lg7w3x9zm0m3k7k2by1fd-
findutils-4.7.0.drv
","["out"]),
("
/gnu/store/27hsy10lxjfk6mlym0gak6fl5fvf6m2x-
ghc-async-2.2.2.drv
","["out"]),
("
/gnu/store/2i2jj0a94ximbr4fx5f5mcnxyh1p8c0y-
ghc-unordered-containers-0.2.10.0.drv
","["out"]),
("
/gnu/store/3v26f2bxcxq74nbk80cbgdyaqyrp9zhi-
grep-3.4.drv
","["out"]),
("
/gnu/store/3v4b5gba33sw5fg4d7a35ixsr1qpl263-
ghc-vector-0.12.0.3.drv
","["out"]),
("
/gnu/store/4h0fnvi0q3dvwc7v8ndgi7p7ww2avdgf-
make-4.3.drv
","["out"]),
("
/gnu/store/4jiidncamni4nph8vfibi4kpaaf4aa0r-
perl-5.30.2.drv
","["out"]),
("
/gnu/store/4qrq292m5bd4kbwyf69s1lilqj72pqyw-
ghc-aeson-1.4.5.0.drv
","["out"]),
("
/gnu/store/5ialn9g2v4kq3x64ingz4acx3q50014c-
ghc-optparse-applicative-0.14.3.0.drv
","["out"]),
("
/gnu/store/65x2zc7cihfl0sdkrg3lnrdwcv3bisc1-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/74s2wrbj8nyb1w3db56as92pb2867sqr-
ncurses-6.2.drv
","["out"]),
("
/gnu/store/7gkd4b3fzmhdjw0rcwrpln47s21g4z4j-
guile-3.0.2.drv
","["out"]),
("
/gnu/store/7jvpzii6lnfy28l7js8fnh88q05yprcz-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/7m22dykqf8j8v7m7kjsnlz56ik672aqk-
ghc-zip-archive-0.4.1.drv
","["out"]),
("
/gnu/store/82cfsjn4lyrwqgkplsqs9sdqd3bqx882-
ghc-uniplate-1.6.12.drv
","["out"]),
("
/gnu/store/8q50sqxm0c4knldsr7pmr7c2qi7g9zan-
ghc-ieee754-0.8.0.drv
","["out"]),
("
/gnu/store/96gw2823w147aajya9gmxyz1lig6irb1-
module-import-compiled.drv
","["out"]),
("
/gnu/store/97n0ngjdq4kbj53y77nna6hz2bhyv7wg-
idris-1.3.3.tar.xz.drv
","["out"]),
("
/gnu/store/9sp3h90x5lxh4ycpsajjmisgpwm30kvw-
ghc-tasty-rerun-1.1.14.drv
","["out"]),
("
/gnu/store/a2mwx3r3x4ldb52a3wq3blly66pvmjkc-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/ahpc360bs63b3c69zy9nhhy4hc8w0sba-
binutils-2.34.drv
","["out"]),
("
/gnu/store/axb9akdx4mf81mqyamzl6lz8ix99bsn8-
ghc-fingertree-0.1.4.2.drv
","["out"]),
("
/gnu/store/axhiqm9rfdw7lljis45p822jyy553aqk-
xz-5.2.4.drv
","["out"]),
("
/gnu/store/axqr85f2yryg55578i6r4ywgzf8ssmvg-
tar-1.32.drv
","["out"]),
("
/gnu/store/azsvq4v9wxdlzmi5nbl7xckb0shfdfzq-
ghc-blaze-markup-0.8.2.3.drv
","["out"]),
("
/gnu/store/bns50jnvc74y85m0avwjxz9fjqc4zlsw-
ghc-blaze-html-0.9.1.2.drv
","["out"]),
("
/gnu/store/d55ghi0y8g6rdcg9qslx88jjdhsxdzlh-
ghc-regex-tdfa-1.2.3.2.drv
","["out"]),
("
/gnu/store/d5i6nfdskb5vipfp4fbxqw6x9h9fqifp-
ghc-code-page-0.2.drv
","["out"]),
("
/gnu/store/dgf5krblbah2zn5h8c4acxd1bq9lh10l-
ghc-ansi-wl-pprint-0.6.9.drv
","["out"]),
("
/gnu/store/gp0q5w5rbwbs7m5sr590zzc7sylkq194-
linux-libre-headers-5.4.20.drv
","["out"]),
("
/gnu/store/h5vm4xbbl9b8f1inqvrcfg72i3j9549f-
gcc-7.5.0.drv
","["out"]),
("
/gnu/store/hzds6zm2abk05z7kcm9lffkfxsrnk0f0-
ghc-tasty-1.2.3.drv
","["out"]),
("
/gnu/store/j6w458shwn5d3kymd61z2ghslbzhwyhf-
ghc-libffi-0.1.drv
","["out"]),
("
/gnu/store/j75l8bqh732bsprw5473a53m3l5f8406-
ghc-fsnotify-0.3.0.1.drv
","["out"]),
("
/gnu/store/j7l3yw2742qzwhkkzjaink6isa5pr654-
ghc-annotated-wl-pprint-0.7.0.drv
","["out"]),
("
/gnu/store/kivs40ff1srqsvl3n4xg1zcaq1nv056d-
ghc-terminal-size-0.3.2.1.drv
","["out"]),
("
/gnu/store/l04xzzpzls7vypjfmjhnjyj38v1phsg7-
ghc-network-2.8.0.1.drv
","["out"]),
("
/gnu/store/lx7486avgqsmqyj4k19jhaxvmdpic6ya-
ghc-base64-bytestring-1.0.0.2.drv
","["out"]),
("
/gnu/store/mbigad4dypwawsbb16fjcq3yybfr6019-
ghc-tasty-golden-2.3.2.drv
","["out"]),
("
/gnu/store/mjnxqrvgx8vfag0mrixbxizvwbkqppc9-
ghc-ansi-terminal-0.9.1.drv
","["out"]),
("
/gnu/store/n1h2iw5j9nqb4qb3i62x2m05akxygahx-
diffutils-3.7.drv
","["out"]),
("
/gnu/store/nih5lzr38qbkhq79m0x5mj6a8w06ssfy-
glibc-2.31.drv
","["out","static"]),
("
/gnu/store/qpzs9ymgmj8000h6ma11j8dn04rsy39n-
ghc-utf8-string-1.0.1.1.drv
","["out"]),
("
/gnu/store/qqzk0wpv0xqx2bmi5k7dr8vpwybci9bm-
gmp-6.2.0.drv
","["out"]),
("
/gnu/store/rrrs8fwav9jq9shpgzn1wr69r9irvkb7-
ghc-megaparsec-7.0.5.drv
","["out"]),
("
/gnu/store/s2nmyw5z2fzn4gb39y2bm5mj5n94cc4c-
ghc-vector-binary-instances-0.2.5.1.drv
","["out"]),
("
/gnu/store/shyx24v22rkpgphdzzy6y4h933fzgbm1-
file-5.38.drv
","["out"]),
("
/gnu/store/v7daw0q9pjqbb70zhlhk8jpb1xg69616-
ghc-split-0.2.3.3.drv
","["out"]),
("
/gnu/store/w44w4y2ly4ma8gi7lggz25imywlph0z4-
ghc-safe-0.3.17.drv
","["out"]),
("
/gnu/store/w9hqacy5qawvhy776wcw61n1zfgw2vi5-
glibc-utf8-locales-2.31.drv
","["out"]),
("
/gnu/store/wfb2a1fiw4v8ybwinxr684bnzar1sqwf-
ghc-cheapskate-0.1.1.1.drv
","["out"]),
("
/gnu/store/wnqqrwrvd5vgczr6011y9p0mlrxk3bx3-
ghc-8.6.5.drv
","["out"]),
("
/gnu/store/wsy1dw40ih1ckrlfbsajan9xsc0w99zg-
sed-4.8.drv
","["out"]),
("
/gnu/store/xyl1528fav70gvn1jcq0aqvkr746w0vl-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/y6z3wwb4xl8hha13mw5hg8k3ww5anksw-
gawk-5.0.1.drv
","["out"]),
("
/gnu/store/ydv5a7l9p4ilhc8lgvwdz4179gmi5ipy-
gzip-1.10.drv
","["out"])
],[
Sources
"
/gnu/store/0l10fby7fqnr6yvmxljqhy3y847jj42s-
idris-1.3.3-guile-builder
",
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
"
],
System
"mips64el-linux",
Builder
"
/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-
guile-3.0.2
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
",
"
/gnu/store/0l10fby7fqnr6yvmxljqhy3y847jj42s-
idris-1.3.3-guile-builder
"
],[
Environment variables
("GUILE_LOAD_COMPILED_PATH","
/gnu/store/vk8pdddyasr4b7hsw0iizrxm20jzfd0j-
module-import-compiled
")
("out","
/gnu/store/z53p4ahsxrxcd5m5xzkiwgvpyqjij8qp-
idris-1.3.3
")
("static","
/gnu/store/s1j9n1rxn2n3jd680x8zhca37hwyxg1a-
idris-1.3.3-static
")
]
)