/gnu/store/mmgqgdq74kqqagsmqv862fzmx01dhzvh-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/c5lsp7d8g6nfg525kvmwl94pqmmrgz8f-
agda-2.6.0.1
","",""),
("static","
/gnu/store/dk1fjamygbi2divgs6p0hsf3bh1rqpsh-
agda-2.6.0.1-static
","","")
],[
Inputs
("
/gnu/store/0xkvrf0f7kc5pjanpi0wm7f54ry8i1as-
binutils-2.34.drv
","["out"]),
("
/gnu/store/1838v8ss6rzwl9g71m60br9vb5srr9ah-
ghc-unordered-containers-0.2.10.0.drv
","["out"]),
("
/gnu/store/1ffypg3jdfzp2y92hbc9dq14h2xk3njn-
grep-3.4.drv
","["out"]),
("
/gnu/store/2jn9g9bf6xp9nixj0p9wij6j8z01wyd3-
ghc-alex-3.2.4.drv
","["out"]),
("
/gnu/store/306zhyzppwbps0y9r0nna6xdvv7c7m0r-
Agda-2.6.0.1.tar.gz.drv
","["out"]),
("
/gnu/store/3nl79cwh6ndz886qiclrzdqyk0mv5yac-
gawk-5.0.1.drv
","["out"]),
("
/gnu/store/3svqfkl6gf1zvnwzdjql9ijmc6ckkacq-
ghc-murmur-hash-0.1.0.9.drv
","["out"]),
("
/gnu/store/3ykv18nyg4m8rqkipalr75sf9z5agcvj-
ghc-filemanip-0.3.6.3.drv
","["out"]),
("
/gnu/store/44b77nkr15ymb2xzls9df2vdwxgra8n4-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/4y1i8i3lf5ms1bpdkq5w293pczd7g45n-
ghc-happy-1.19.12.drv
","["out"]),
("
/gnu/store/5pv6fvqf28yljh6xy1v050zm7fv9qp7l-
ghc-hashtables-1.2.3.4.drv
","["out"]),
("
/gnu/store/5ri6vdrvs39pnmxcpjq05blh6kb9skcy-
ghc-8.6.5.drv
","["out"]),
("
/gnu/store/5y6k19nxs9y058s3439qb4r2n6zs0plm-
glibc-utf8-locales-2.31.drv
","["out"]),
("
/gnu/store/6a2f0hxrfgj29wjv836w2f7011nxcm8i-
guile-3.0.2.drv
","["out"]),
("
/gnu/store/6xc234jkaf3l3yy4lhn2mwbnwl7284w9-
file-5.38.drv
","["out"]),
("
/gnu/store/7yyr1f2f7xqcxab1jls00fadd9n4rlfx-
diffutils-3.7.drv
","["out"]),
("
/gnu/store/8pgrm0cxl4x01bkanybf5gpck84l44pq-
ghc-exceptions-0.10.3.drv
","["out"]),
("
/gnu/store/9rdm3xdf06kjwd6r4j0ndb8lj5j2zcz9-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/ax3j401bbh4j1ggib11xiqy7jaggn17p-
ghc-blaze-html-0.9.1.2.drv
","["out"]),
("
/gnu/store/b0z8ar3yn9zmdmg2ps75nmsiy4zxn309-
ghc-async-2.2.2.drv
","["out"]),
("
/gnu/store/b4l0hn86hh1rqb0jff592n3zisgsr0i0-
ghc-equivalence-0.3.5.drv
","["out"]),
("
/gnu/store/bqyq7iykfcq4p4wd9knnwgq6vp5z12m8-
ghc-strict-0.3.2.drv
","["out"]),
("
/gnu/store/clfdaygidimi2wycpaym0a4vfdc75aj8-
ghc-data-hash-0.2.0.1.drv
","["out"]),
("
/gnu/store/cw09r6ljgwzmys7509p03a7h8szk7n9s-
sed-4.8.drv
","["out"]),
("
/gnu/store/dcr7vsp3dclcmg4jdfxkm2x45w3bqcdi-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/fsplzmdids1qk9ij91zijh94ld52i0f0-
findutils-4.7.0.drv
","["out"]),
("
/gnu/store/fwk8ny37dxz7f82kpv8r3q3lw7bnlyzy-
ghc-zlib-0.6.2.1.drv
","["out"]),
("
/gnu/store/g3v32hfzwwyd38a0w5wnh2xvcwixpkwb-
tar-1.32.drv
","["out"]),
("
/gnu/store/gqwmxmpgwizs0qyx7hz8wadwzq4x0kqf-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/i9c0ixlrv6v8smg0zp3vzcdf0cv9ipby-
gzip-1.10.drv
","["out"]),
("
/gnu/store/jjnryda37bsa0x6nv2m3p1w1karx69j5-
xz-5.2.4.drv
","["out"]),
("
/gnu/store/kvrm6rsrvw44nq0a3al9nfqd1llxx20i-
ghc-hashable-1.2.7.0.drv
","["out"]),
("
/gnu/store/lbyph0yh20rhkv4asp6fbzdyh7aklqh8-
ghc-edit-distance-0.2.2.1.drv
","["out"]),
("
/gnu/store/p069jng9cfi2w9cp5331qygf0ii00gnm-
ghc-gitrev-1.3.1.drv
","["out"]),
("
/gnu/store/pfc7xy217pn68gy5wf7gkm2qn5clvq15-
ghc-regex-tdfa-1.2.3.2.drv
","["out"]),
("
/gnu/store/qb0zdplafm5shk606ag2kr5vs9nqc3qp-
ghc-geniplate-mirror-0.7.6.drv
","["out"]),
("
/gnu/store/qq6hlgjiyqx6m4zyj8ccp1ryinpzlsl1-
module-import-compiled.drv
","["out"]),
("
/gnu/store/r0di7nvszw701963qkv0wg3hlc3y7v3b-
glibc-2.31.drv
","["out","static"]),
("
/gnu/store/ribas3q2z7gakk76m7ph2cp2qnd5p1jj-
ghc-uri-encode-1.5.0.5.drv
","["out"]),
("
/gnu/store/skk9bsjhy18zngdxx34isv1ancb4r8zd-
gcc-7.5.0.drv
","["out"]),
("
/gnu/store/v61vdxzjkandmzw0bwd5w5clz32gjj1b-
make-4.3.drv
","["out"]),
("
/gnu/store/w0kmv353ph5ny67ab1ynix3d5iv1qnwl-
linux-libre-headers-5.4.20.drv
","["out"]),
("
/gnu/store/wqp4afj6b7by16cqpkld2vfd0z4sbcgr-
ghc-aeson-1.4.5.0.drv
","["out"]),
("
/gnu/store/xd5h6vw5gn18n75rzcfq4mfr71ji851d-
ghc-boxes-0.1.5.drv
","["out"]),
("
/gnu/store/yc8dc970h9lsav1ib0pfnphz4vsfqlgx-
bash-minimal-5.0.16.drv
","["out"]),
("
/gnu/store/z5p920a3d0kc8ph6h1i0wr7x36s3dvlr-
ghc-edisoncore-1.3.2.1.drv
","["out"]),
("
/gnu/store/zi4yax7pyk74m69x640dkb5q9b5d3iw7-
ghc-ieee754-0.8.0.drv
","["out"])
],[
Sources
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
",
"
/gnu/store/ms0573nni504sy39admmri8fdkk9qd3m-
agda-2.6.0.1-guile-builder
"
],
System
"powerpc64le-linux",
Builder
"
/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-
guile-3.0.2
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
",
"
/gnu/store/ms0573nni504sy39admmri8fdkk9qd3m-
agda-2.6.0.1-guile-builder
"
],[
Environment variables
("GUILE_LOAD_COMPILED_PATH","
/gnu/store/pcp8fykfz2ms94cxdspajlmvlp9v8f2z-
module-import-compiled
")
("out","
/gnu/store/c5lsp7d8g6nfg525kvmwl94pqmmrgz8f-
agda-2.6.0.1
")
("static","
/gnu/store/dk1fjamygbi2divgs6p0hsf3bh1rqpsh-
agda-2.6.0.1-static
")
]
)