/gnu/store/q5brsb30xfh5x3skn664bwijdnd269jp-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/1vs1br36wzpplghxgq6mzzhpjdzsjysy-
agda-2.6.0.1
","","#f"),
("static","
/gnu/store/9rydw56dcb3j7f9grgcw5l1x3fjslxnl-
agda-2.6.0.1-static
","","#f")
],[
Inputs
("
/gnu/store/0vg2yyn59ay95ny2v7k682j1y3dvbsv3-
module-import-compiled.drv
","["out"]),
("
/gnu/store/1crlk7qi5fllbpa10cw77m8s4q3r3543-
glibc-2.31.drv
","["out","static"]),
("
/gnu/store/1qprnjkid0hk1d836k8xbvpsgghn3zsf-
ghc-8.6.5.drv
","["out"]),
("
/gnu/store/3z468xfyh08qry2zcmwwd1mgwd29ws8s-
gcc-7.5.0.drv
","["out"]),
("
/gnu/store/43haykfzwh65dalq7rrnjf64lpmpkkma-
tar-1.32.drv
","["out"]),
("
/gnu/store/5fy7p5kfapzzzm2gzdpl8jn226xfv997-
ghc-async-2.2.2.drv
","["out"]),
("
/gnu/store/5nfzjxfvg4cfdl7yl65knkx8vrkzb7vk-
ghc-equivalence-0.3.5.drv
","["out"]),
("
/gnu/store/6iy9z65azy6an0kccji5mlsss30sqji9-
ghc-gitrev-1.3.1.drv
","["out"]),
("
/gnu/store/6r7x6v3h8r03zpdhwiqajskkw215i57z-
file-5.38.drv
","["out"]),
("
/gnu/store/74cvbxvwiydz3w9kwc6nab7pxx2bjmk2-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/8ngigs5hhbmscijhsq6fhrc9dlr7pwx3-
ghc-ieee754-0.8.0.drv
","["out"]),
("
/gnu/store/8z90hmp9sfwhllyphaczl8xrf2p0n1jb-
ghc-unordered-containers-0.2.10.0.drv
","["out"]),
("
/gnu/store/9ji66mgdcapcj5id9iqjfyrd1z4cczkh-
ghc-boxes-0.1.5.drv
","["out"]),
("
/gnu/store/9y3406sxllzy9fcqkdn64i3ac9l145sc-
sed-4.8.drv
","["out"]),
("
/gnu/store/a2ysnac802mdchz04l03478lysilw4h6-
ghc-strict-0.3.2.drv
","["out"]),
("
/gnu/store/a8kpvmipw2l25avya5k4z93lzfmi9r9s-
ghc-hashable-1.2.7.0.drv
","["out"]),
("
/gnu/store/bk5bzy6ik0zzzxampm538dx1gvf8a9gj-
ghc-geniplate-mirror-0.7.6.drv
","["out"]),
("
/gnu/store/bkg0limif6ai63d8pra46cbqzqp38s7h-
ghc-data-hash-0.2.0.1.drv
","["out"]),
("
/gnu/store/cz0v63x2gpdiai7136q5alvk1zsb26c4-
guile-3.0.2.drv
","["out"]),
("
/gnu/store/f5y7c41mq0378j59jw3gmxa3yfx021am-
ghc-happy-1.19.12.drv
","["out"]),
("
/gnu/store/favjc80hspj0j8rsq8ybkqgl3d2bv2pd-
ghc-edit-distance-0.2.2.1.drv
","["out"]),
("
/gnu/store/fbbbfvmcqza3scixafyl1lx1qhk7rfm8-
xz-5.2.4.drv
","["out"]),
("
/gnu/store/g4jmhzx1q25hi38mkc06gwiqwjlcb57h-
binutils-2.34.drv
","["out"]),
("
/gnu/store/h3kkpy6crx5hhap8f7z0lh3yji2kiix2-
diffutils-3.7.drv
","["out"]),
("
/gnu/store/hmcrixv37py2igm74cjk6m1h15k2aqy8-
glibc-utf8-locales-2.31.drv
","["out"]),
("
/gnu/store/hsapgdpjwg6xzkabin7qj1xksn92pix3-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/isr3h4ffxi69v5s4v3pr05asp2l86b7l-
ghc-filemanip-0.3.6.3.drv
","["out"]),
("
/gnu/store/iyjb23hdrjhqz5scz0ngialhziyiigc4-
gzip-1.10.drv
","["out"]),
("
/gnu/store/jxq5lgbx9zpycjrlv795i6y38i4h0yic-
ghc-blaze-html-0.9.1.2.drv
","["out"]),
("
/gnu/store/kyq8hg15kh10s942rzir4sc1zyglyr3l-
gawk-5.0.1.drv
","["out"]),
("
/gnu/store/lxkxg2m6rdv3sqh1pp590q9f9ncl3994-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/mahf6sxc9s95m8za65ky6bsp495k6yzb-
ghc-alex-3.2.4.drv
","["out"]),
("
/gnu/store/nx0g5mnqm2xig6wgcb1aw29b1i54pzbj-
ghc-exceptions-0.10.3.drv
","["out"]),
("
/gnu/store/pmchn7fkb8d33h6jk7k3ymbfcjfzbzzp-
ghc-zlib-0.6.2.1.drv
","["out"]),
("
/gnu/store/prsjcijs42cb4rd3jnp3csq1kkxpvsi0-
ghc-uri-encode-1.5.0.5.drv
","["out"]),
("
/gnu/store/qsh2xjsb3ab7wmniw7by4p60hn7j6bb6-
make-4.3.drv
","["out"]),
("
/gnu/store/ragiym08hgs5lz4hywagbv7g1z39wnyr-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/s9bvsgnpb8npi1gzx57dmkwdl341w24v-
ghc-edisoncore-1.3.2.1.drv
","["out"]),
("
/gnu/store/v2j9ya5x56j2kisyjwiig0id7w25hh6c-
bash-minimal-5.0.16.drv
","["out"]),
("
/gnu/store/vl21an15pc6isqbn7ns08w1cvcp8pwrw-
ghc-aeson-1.4.5.0.drv
","["out"]),
("
/gnu/store/vnq2mzbvj0p50i6n9kir7p0hwkasxf9z-
ghc-regex-tdfa-1.2.3.2.drv
","["out"]),
("
/gnu/store/vxkhg3wqavcswnwhqbk5h9d3b66l9afr-
findutils-4.7.0.drv
","["out"]),
("
/gnu/store/w0dglc0yqdvqsgj7nmryw34zdw3f2ays-
Agda-2.6.0.1.tar.gz.drv
","["out"]),
("
/gnu/store/xadcqins1v7yxh3g7g6b7kp3a2q31b85-
ghc-hashtables-1.2.3.4.drv
","["out"]),
("
/gnu/store/xd5rcdl3ym79j9igwprjwgqmh15ji9pf-
ghc-murmur-hash-0.1.0.9.drv
","["out"]),
("
/gnu/store/yi58264yrj5lc8ljf3r5v5yjgsvyfmsl-
grep-3.4.drv
","["out"]),
("
/gnu/store/zqadiils0f4hhgd2vkmkxmplajjizcgy-
linux-libre-headers-5.4.20.drv
","["out"])
],[
Sources
"
/gnu/store/h60x7yfl33p2msq0naaw3aalppb73lf2-
agda-2.6.0.1-guile-builder
",
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
"
],
System
"aarch64-linux",
Builder
"
/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-
guile-3.0.2
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
",
"
/gnu/store/h60x7yfl33p2msq0naaw3aalppb73lf2-
agda-2.6.0.1-guile-builder
"
],[
Environment variables
("GUILE_LOAD_COMPILED_PATH","
/gnu/store/98vaw1igzsd5ydnqxwf2v4xjwdpid8av-
module-import-compiled
")
("out","
/gnu/store/1vs1br36wzpplghxgq6mzzhpjdzsjysy-
agda-2.6.0.1
")
("static","
/gnu/store/9rydw56dcb3j7f9grgcw5l1x3fjslxnl-
agda-2.6.0.1-static
")
]
)