/gnu/store/0nljjq2ny7635sf4dlwx7s486v3sjgnv-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/adxn0kacg06bvph2ljasvnl02p12pg41-
agda-2.6.0.1
","","#f"),
("static","
/gnu/store/177yq0a4hh68cx4p0c00fx63q56np0pk-
agda-2.6.0.1-static
","","#f")
],[
Inputs
("
/gnu/store/1adwc8hi46lkxv2hfpdvxyn7zbns0ajn-
module-import-compiled.drv
","["out"]),
("
/gnu/store/1pxng0zbd3agvdxpbx67jqz791rj7g79-
ghc-regex-tdfa-1.2.3.2.drv
","["out"]),
("
/gnu/store/2hih4plmjllzxnhvkxhm40a8lhdh79f7-
grep-3.4.drv
","["out"]),
("
/gnu/store/2ppjgdnn04ainspx1rkafw1ifl65a8gx-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/2yaqcr6iizkrnrp1n6kbmac4y5qs65c1-
ghc-edit-distance-0.2.2.1.drv
","["out"]),
("
/gnu/store/3a1ay4z45kd14719a8z8lzqzk31pkqyl-
tar-1.32.drv
","["out"]),
("
/gnu/store/40njmlldq9a8xh6a88qz8kd6cj7392k8-
ghc-8.6.5.drv
","["out"]),
("
/gnu/store/4h9zdnzyxlnkzpdzcxsk4bh8xrjwpi91-
ghc-zlib-0.6.2.1.drv
","["out"]),
("
/gnu/store/4skzn9hg4fq820z2ljj6gh6hzr80msr4-
ghc-strict-0.3.2.drv
","["out"]),
("
/gnu/store/5hj30swdyxnma1vih5rl0a422sxwizig-
file-5.38.drv
","["out"]),
("
/gnu/store/5iv1x8yvd7zv30pdgwgwf37rkc9vgbr3-
Agda-2.6.0.1.tar.gz.drv
","["out"]),
("
/gnu/store/5lhvp6rm0cwb4c30spgp9xhx5yhd3q79-
findutils-4.7.0.drv
","["out"]),
("
/gnu/store/5sin9rnqpv8rijgvpayqcwfgdaz9pbk5-
ghc-edisoncore-1.3.2.1.drv
","["out"]),
("
/gnu/store/6pza7giyf166ppq2j9l9i7qvyjbhagzy-
glibc-utf8-locales-2.31.drv
","["out"]),
("
/gnu/store/75pklyrr4yc41grs31kma31hk912zyzq-
binutils-2.34.drv
","["out"]),
("
/gnu/store/78lbl0bsa1zak1j3y95cb4769bv0vv4i-
ghc-uri-encode-1.5.0.5.drv
","["out"]),
("
/gnu/store/7j6643977af7gqxwlzp0m0cwy0m0l5qb-
ghc-happy-1.19.12.drv
","["out"]),
("
/gnu/store/87mn3ysd6c8qb7yffhdw2n5imzig4m61-
ghc-exceptions-0.10.3.drv
","["out"]),
("
/gnu/store/882hzl1571cnyps1p5f850ywy9r2r0mr-
gcc-7.5.0.drv
","["out"]),
("
/gnu/store/8nl1kdyy8lwqk4bzndq1p7r89fw7y0dc-
ghc-equivalence-0.3.5.drv
","["out"]),
("
/gnu/store/96mc3a46h3y0z6p63x047624m0zgagl7-
glibc-2.31.drv
","["out","static"]),
("
/gnu/store/9kqava78khps5441r2jpcfdwy3sd0s5a-
gzip-1.10.drv
","["out"]),
("
/gnu/store/a4lyfndyqaqidszcpgmkjdr99ap0kw49-
ghc-hashtables-1.2.3.4.drv
","["out"]),
("
/gnu/store/bcp2cxbcr256ag7al9fzkinrcx75cvl4-
ghc-unordered-containers-0.2.10.0.drv
","["out"]),
("
/gnu/store/bikr1gfyyj98wi3qkw58i002026q15k4-
ghc-hashable-1.2.7.0.drv
","["out"]),
("
/gnu/store/cb329n0llbh4szpmjf9gph03v4xxnhl4-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/ckwxbndl120pjy19sw743s1wnmmj84yp-
gawk-5.0.1.drv
","["out"]),
("
/gnu/store/d2gbjs29fdmx4fipv8gbzjfj0kp3kp86-
ghc-ieee754-0.8.0.drv
","["out"]),
("
/gnu/store/d71d0gkcn3d0fg08j2pcvrvn0mbjlyva-
ghc-filemanip-0.3.6.3.drv
","["out"]),
("
/gnu/store/dy6x9dx5w5az6j54r7kq6gp73xll454f-
guile-3.0.2.drv
","["out"]),
("
/gnu/store/f316mjphvyy1qkdh7lq4ng9lam8b2ss6-
ghc-geniplate-mirror-0.7.6.drv
","["out"]),
("
/gnu/store/gfadfmwcwfisrnmfqyzg4mwn5fp6mmzz-
xz-5.2.4.drv
","["out"]),
("
/gnu/store/gmczb4cidyv2j8hh11lhavdpgj88d1nf-
diffutils-3.7.drv
","["out"]),
("
/gnu/store/i8wmwadgvjmim91isn7i12z3zcjm916d-
ghc-boxes-0.1.5.drv
","["out"]),
("
/gnu/store/ifcz6pj7y1azhb4hm5vdq95cix5s3zz8-
ghc-blaze-html-0.9.1.2.drv
","["out"]),
("
/gnu/store/j19kqy2aqmmwjq16rfc9bclnjxlr8psx-
ghc-alex-3.2.4.drv
","["out"]),
("
/gnu/store/jhj9d04q2f80fp2awbs4b4rx5sbpjxbr-
make-4.3.drv
","["out"]),
("
/gnu/store/jnl1vpvfinm7j91db7knzyvwm73zq4nn-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/k7wlj9f4pvvy4vrvnn5nxgcc9651bxsc-
ghc-murmur-hash-0.1.0.9.drv
","["out"]),
("
/gnu/store/lq1rn548axdgzkvj8f6dfkxwnbgc3zvr-
ghc-async-2.2.2.drv
","["out"]),
("
/gnu/store/m5jmp26406805yyawh4khck6l7f0w8sk-
sed-4.8.drv
","["out"]),
("
/gnu/store/nhgs5s3snprybbq0p169qxq6685das75-
ghc-aeson-1.4.5.0.drv
","["out"]),
("
/gnu/store/q2xqm8ylghiiib2llm1j2w04p1075kph-
linux-libre-headers-5.4.20.drv
","["out"]),
("
/gnu/store/r7kkx6zvsly8566x3df98sr6j3lil67k-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/wsb10346j3x49zy4fyyijxr4xmq1p9z9-
bash-minimal-5.0.16.drv
","["out"]),
("
/gnu/store/wy0snd12yv84ccc3msky1yr7k88lrgkr-
ghc-data-hash-0.2.0.1.drv
","["out"]),
("
/gnu/store/y9w1ndjcvc1ycs2svsa9zfgrlr5a5g0j-
ghc-gitrev-1.3.1.drv
","["out"])
],[
Sources
"
/gnu/store/1bjh55w8977l6i6mlzp9k8ci1i53sigf-
agda-2.6.0.1-guile-builder
",
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
"
],
System
"armhf-linux",
Builder
"
/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-
guile-3.0.2
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
",
"
/gnu/store/1bjh55w8977l6i6mlzp9k8ci1i53sigf-
agda-2.6.0.1-guile-builder
"
],[
Environment variables
("GUILE_LOAD_COMPILED_PATH","
/gnu/store/jc36vvy1yzkhzaf3zijh56sbcx227izk-
module-import-compiled
")
("out","
/gnu/store/adxn0kacg06bvph2ljasvnl02p12pg41-
agda-2.6.0.1
")
("static","
/gnu/store/177yq0a4hh68cx4p0c00fx63q56np0pk-
agda-2.6.0.1-static
")
]
)