/gnu/store/wx4dcpb3rdib48z7jmndcfycb079b4a9-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/rpl3y1cnz87j65a4mc1hqi2imyq4mq0j-
agda-2.6.0.1
","","#f"),
("static","
/gnu/store/pc62wnzlqfwa4ja0ap8r8nzcqpsr9l6r-
agda-2.6.0.1-static
","","#f")
],[
Inputs
("
/gnu/store/0afjhdgppal21n99ckkigrz53ffl95bd-
ghc-data-hash-0.2.0.1.drv
","["out"]),
("
/gnu/store/0cs9fr5f6y4cxy6q0x4g0m6p2mrbayp9-
tar-1.32.drv
","["out"]),
("
/gnu/store/1kvc2nqjvvsi9n8i5ylklsrch9jq3q6j-
bash-minimal-5.0.16.drv
","["out"]),
("
/gnu/store/1yp6xjlq7nm68kyf0jpfccwvsff9c25v-
file-5.38.drv
","["out"]),
("
/gnu/store/28m32cij4iyp3a20fbw2wqxj2m581d9g-
ghc-uri-encode-1.5.0.5.drv
","["out"]),
("
/gnu/store/2x1dhi510irw9znmi3xzwpn434ilxhrg-
ghc-gitrev-1.3.1.drv
","["out"]),
("
/gnu/store/3dcscv37j81ji2w6hnx4jpjxf0az0hzg-
make-4.3.drv
","["out"]),
("
/gnu/store/3fj2yygqxzcrgyd5g1a4i9k64ahpbj10-
ghc-edisoncore-1.3.2.1.drv
","["out"]),
("
/gnu/store/4fyjq16aaqbs0wpp89bjy6pn4a9mjj1b-
xz-5.2.4.drv
","["out"]),
("
/gnu/store/6281a4bmjg9srw76sdlkk3k9sdayp96m-
linux-libre-headers-5.4.20.drv
","["out"]),
("
/gnu/store/63sg34ny006vn9spy8bykvqpcrkwy64h-
ghc-equivalence-0.3.5.drv
","["out"]),
("
/gnu/store/6rqr10shcdd7x1jbszcc2ar9pwn32y41-
ghc-hashtables-1.2.3.4.drv
","["out"]),
("
/gnu/store/6zl0qgmpva3j2wf98dkk6v9jnwsr56n9-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/73vf35qin7hgfsgqcvkb6hh83qzisl7j-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/78hrwid3vlgaxwcf77yr7f24c43r4vp0-
ghc-edit-distance-0.2.2.1.drv
","["out"]),
("
/gnu/store/8b848flxx2a5g2mh9fgpy6srf49fmyc5-
ghc-alex-3.2.4.drv
","["out"]),
("
/gnu/store/8ywrs9zgwrl5wk8b2b4mv5bbij5vr3hr-
ghc-aeson-1.4.5.0.drv
","["out"]),
("
/gnu/store/91mykqyp1sfq8fyr0fb691433zi1kxyi-
ghc-strict-0.3.2.drv
","["out"]),
("
/gnu/store/a1kxjnk2df0h6lj0js34483lyb72xkxi-
grep-3.4.drv
","["out"]),
("
/gnu/store/ayigkg3qymk35xz62hssp0bdijyjhyg0-
ghc-murmur-hash-0.1.0.9.drv
","["out"]),
("
/gnu/store/cd92c48gjdrx4k8vrz7vn4prpfpzikcg-
ghc-ieee754-0.8.0.drv
","["out"]),
("
/gnu/store/dpnd8pkmqfpfi492xlj2z46kshqzjr7n-
ghc-async-2.2.2.drv
","["out"]),
("
/gnu/store/f5wfchqqdyrzfyyazpch5wsdbmbwpjx0-
ghc-filemanip-0.3.6.3.drv
","["out"]),
("
/gnu/store/fwj06sfs8lar9fbc9zk3lsn0knrwg686-
module-import-compiled.drv
","["out"]),
("
/gnu/store/idj4039xwv0mxdv3zgigp69f36a2xblf-
ghc-hashable-1.2.7.0.drv
","["out"]),
("
/gnu/store/iy57jqg839xdag7xqscgkmfqknnzns1b-
gcc-7.5.0.drv
","["out"]),
("
/gnu/store/k8j6jn7nmxq4ivlns8ks24d66y19b0hw-
ghc-geniplate-mirror-0.7.6.drv
","["out"]),
("
/gnu/store/kp7ia331imgayns5ar53fwssqmxsxvz6-
binutils-2.34.drv
","["out"]),
("
/gnu/store/kswv6gx6gjlrj3lzxrzd1xaban0ayha4-
gzip-1.10.drv
","["out"]),
("
/gnu/store/kysyimqf5xczs8vwb98kqb00dd968di6-
ghc-regex-tdfa-1.2.3.2.drv
","["out"]),
("
/gnu/store/l51ys0s7vqfds81c6dw1z6ly210336s2-
ghc-blaze-html-0.9.1.2.drv
","["out"]),
("
/gnu/store/m7gh6vkrvmrpndsag11fgy7jm35ah7jh-
diffutils-3.7.drv
","["out"]),
("
/gnu/store/mp1nylz0sykzca1rrs7h9hkdqi2m7zgp-
glibc-utf8-locales-2.31.drv
","["out"]),
("
/gnu/store/p8gispsm5z6h4ix6i2gjdaj2syyipfv1-
ghc-happy-1.19.12.drv
","["out"]),
("
/gnu/store/pk8qhvl7i458in4hsg1ci1w2yrl1qjml-
ghc-zlib-0.6.2.1.drv
","["out"]),
("
/gnu/store/q1idrw5m6b7qv6zdy41k8lrcd0n9q2bj-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/rakk01pkmgwzz91z5c0qz9ay7rf31bhp-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/rdpbn8sbp4nriz3rlf67rcblvdzlll4a-
guile-3.0.2.drv
","["out"]),
("
/gnu/store/rwaw2xqlc2caqgwlmmslzf4b0d0ggik4-
gawk-5.0.1.drv
","["out"]),
("
/gnu/store/s3n8za54d11hy95ay5ydv7hfxzf462ja-
glibc-2.31.drv
","["out","static"]),
("
/gnu/store/sgghysc9jkbcihx6lq3mbjwyc6ixqq3x-
ghc-unordered-containers-0.2.10.0.drv
","["out"]),
("
/gnu/store/vhlapgam1676j3z14sc3ss66nfakjah1-
Agda-2.6.0.1.tar.gz.drv
","["out"]),
("
/gnu/store/x9056bg500snbcnnsj8knj2ypx66xiyg-
ghc-8.6.5.drv
","["out"]),
("
/gnu/store/xg9h8c3a760myvwczjk3gcnxsj7zv0fa-
sed-4.8.drv
","["out"]),
("
/gnu/store/xlc5lrxzi2hckp6z030mfd5qx9nvda9h-
ghc-exceptions-0.10.3.drv
","["out"]),
("
/gnu/store/yv6187b5423ilnsvj61pn2lysn1ypg5q-
ghc-boxes-0.1.5.drv
","["out"]),
("
/gnu/store/zhma6vs5fxg41apyhmrz8xp19xd20p2p-
findutils-4.7.0.drv
","["out"])
],[
Sources
"
/gnu/store/4zmmrgk4jahsjgsg0czp40byhi5an29m-
agda-2.6.0.1-guile-builder
",
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
"
],
System
"i686-linux",
Builder
"
/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-
guile-3.0.2
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
",
"
/gnu/store/4zmmrgk4jahsjgsg0czp40byhi5an29m-
agda-2.6.0.1-guile-builder
"
],[
Environment variables
("GUILE_LOAD_COMPILED_PATH","
/gnu/store/i2mwn2692z35q1ja3iqwv9ihcla85mql-
module-import-compiled
")
("out","
/gnu/store/rpl3y1cnz87j65a4mc1hqi2imyq4mq0j-
agda-2.6.0.1
")
("static","
/gnu/store/pc62wnzlqfwa4ja0ap8r8nzcqpsr9l6r-
agda-2.6.0.1-static
")
]
)