/gnu/store/1gnf2j88y29qd8pwiv2y9nfcg7iqi0wf-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/f44ck5vh5s6nrigxm3af9ln31h62a373-
agda-2.6.0.1
","","#f"),
("static","
/gnu/store/cdjnjiwgjhzc6s75jm78yw7gicfr0rbs-
agda-2.6.0.1-static
","","#f")
],[
Inputs
("
/gnu/store/0bnlc1shmbby935ps4xxgbf56pfw97y7-
ghc-uri-encode-1.5.0.5.drv
","["out"]),
("
/gnu/store/0j6gi10v9hz2s2413nhwbzihrydafgvj-
glibc-2.31.drv
","["out","static"]),
("
/gnu/store/0zmcam9sdiag9s1qx3xvlf8a3jnm53x2-
sed-4.8.drv
","["out"]),
("
/gnu/store/2w1l81rca17bsqz0znqx4d5wqw3k62p0-
ghc-filemanip-0.3.6.3.drv
","["out"]),
("
/gnu/store/3d4xggdls9cmvr5j2qd57p6z1pavd7pg-
gcc-7.5.0.drv
","["out"]),
("
/gnu/store/3ly5w5v8d20p3mwn85vmz84mq0w5vb4h-
ghc-aeson-1.4.5.0.drv
","["out"]),
("
/gnu/store/55m53jfhazxzkhrlm9razvw1r0mzxah0-
grep-3.4.drv
","["out"]),
("
/gnu/store/577y712c4lqzarml9x5a20x5kmlvwcz0-
make-4.3.drv
","["out"]),
("
/gnu/store/5956qfsxnks3nb9g6qfabcnhbf1y69y7-
ghc-strict-0.3.2.drv
","["out"]),
("
/gnu/store/6mpb09z4g237ccqprj5g8n7p401gzbml-
ghc-blaze-html-0.9.1.2.drv
","["out"]),
("
/gnu/store/70gapv7ssbkcww91rw5y958bfgp44gw9-
findutils-4.7.0.drv
","["out"]),
("
/gnu/store/7avrcww5ag0d1zbidi8awrarqvd8bb29-
xz-5.2.4.drv
","["out"]),
("
/gnu/store/7b7p8anrwa4i2rq79frnzh6rqlzxzs9w-
ghc-ieee754-0.8.0.drv
","["out"]),
("
/gnu/store/7rxxb42fzfnh81b2f0sdzpv4qla0hqmi-
glibc-utf8-locales-2.31.drv
","["out"]),
("
/gnu/store/84aj95pxsxshh6kpcl0s1w6l9cfjfzj9-
bash-minimal-5.0.16.drv
","["out"]),
("
/gnu/store/8p9y4q21nhnzjb06lqzlk1ydlqrwzkky-
ghc-gitrev-1.3.1.drv
","["out"]),
("
/gnu/store/8s00a9mv2cp081jdi5xc7an7v23fivc2-
ghc-boxes-0.1.5.drv
","["out"]),
("
/gnu/store/95w8r81sn34fl2d64c8rkp76v9d9zai5-
binutils-2.34.drv
","["out"]),
("
/gnu/store/9gd8mfg44r39wca5s7cm44ykwcym1kb3-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/am0acfkdhyhr0v2k5hxyjmc38rpx00xg-
ghc-murmur-hash-0.1.0.9.drv
","["out"]),
("
/gnu/store/axivv7qsbckqv2yyqmgkvps5wv9zmpm7-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/cmk88ysjkmv7ff5rssc4pybky36gmpl3-
ghc-edisoncore-1.3.2.1.drv
","["out"]),
("
/gnu/store/d2fr7ijbw7hg5xz8s8ff24zypmqxc09h-
linux-libre-headers-5.4.20.drv
","["out"]),
("
/gnu/store/dmmw320prbp2gbs2azgg9jzxbnr7azi7-
ghc-hashable-1.2.7.0.drv
","["out"]),
("
/gnu/store/g8v3w191k75iy209nx0g73x7hi7qmv1h-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/hwfnijzxrxqr68c51l2az9r540080yz4-
ghc-hashtables-1.2.3.4.drv
","["out"]),
("
/gnu/store/jaipnrrbphwy9ikzd9b2fd2bxg9z1sf7-
guile-3.0.2.drv
","["out"]),
("
/gnu/store/jjkv2zvx1s8qk47nx6mnz5n5iqhq5q9b-
tar-1.32.drv
","["out"]),
("
/gnu/store/kc2as0id4mr45asws5dpgqgjy4v5ky62-
ghc-alex-3.2.4.drv
","["out"]),
("
/gnu/store/kr17fb10wfdp95ws0ldbl1pprx7fyy8h-
file-5.38.drv
","["out"]),
("
/gnu/store/m2psg9zbz1jmhx5nckkaiz5y87j5qah8-
ghc-unordered-containers-0.2.10.0.drv
","["out"]),
("
/gnu/store/mfqapln0bc78jhlhrify7jlvr6zlci5s-
ghc-geniplate-mirror-0.7.6.drv
","["out"]),
("
/gnu/store/mhggmq1pjqs0hq2idv9w9bi459iqly8f-
ghc-happy-1.19.12.drv
","["out"]),
("
/gnu/store/n1w46nwz3qbgzpmvz0q1kyrhc0qd74ky-
ghc-exceptions-0.10.3.drv
","["out"]),
("
/gnu/store/p3rv1vg578sz7jhb6daw7mpc5afynf23-
ghc-data-hash-0.2.0.1.drv
","["out"]),
("
/gnu/store/pkcr8rh3wb3ik2jv26afpvraxj2p3ld8-
ghc-zlib-0.6.2.1.drv
","["out"]),
("
/gnu/store/pnja3bqzzkml1pwnmg8xal4dqrpzhrvd-
diffutils-3.7.drv
","["out"]),
("
/gnu/store/qfb37lardni78naczldb1ia33n9ffvc7-
gzip-1.10.drv
","["out"]),
("
/gnu/store/qyzljbbfkav22cv11lw0by2ivs3qna0w-
module-import-compiled.drv
","["out"]),
("
/gnu/store/rlf3y96hkbl7akl7w23q351rrqan1xxp-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/s781is7ijibl6bn0iczl3zq6zyv89cwx-
ghc-equivalence-0.3.5.drv
","["out"]),
("
/gnu/store/sb4w2n443d06p1wgzhclzcn89fjd0jhi-
ghc-8.6.5.drv
","["out"]),
("
/gnu/store/vf3cvm8pdvjhbq973qwg92w91f5sskm0-
ghc-edit-distance-0.2.2.1.drv
","["out"]),
("
/gnu/store/wkrgrjfkpqdzdvv81nbra7bvskfl9i57-
gawk-5.0.1.drv
","["out"]),
("
/gnu/store/y1a7hy8hzjqd0fxh8dzfizz6gbw4vxfj-
Agda-2.6.0.1.tar.gz.drv
","["out"]),
("
/gnu/store/yn3ypm4rh9wrs1m3kcranakps93hvyvl-
ghc-async-2.2.2.drv
","["out"]),
("
/gnu/store/zcwyjy85yhb107wn9f77bjmsd8x14ifs-
ghc-regex-tdfa-1.2.3.2.drv
","["out"])
],[
Sources
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
",
"
/gnu/store/my675bwwj6r1di1b7xy63liag9zqdwhl-
agda-2.6.0.1-guile-builder
"
],
System
"x86_64-linux",
Builder
"
/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-
guile-3.0.2
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
",
"
/gnu/store/my675bwwj6r1di1b7xy63liag9zqdwhl-
agda-2.6.0.1-guile-builder
"
],[
Environment variables
("GUILE_LOAD_COMPILED_PATH","
/gnu/store/x8rhwka29d990awg683j536bdh7ykl8a-
module-import-compiled
")
("out","
/gnu/store/f44ck5vh5s6nrigxm3af9ln31h62a373-
agda-2.6.0.1
")
("static","
/gnu/store/cdjnjiwgjhzc6s75jm78yw7gicfr0rbs-
agda-2.6.0.1-static
")
]
)