/gnu/store/vral0asmff0q3mwmmss5lihwb5k9cch1-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/rjx035avfrby0bc1sqxxn1n2zi2sqkmk-
agda-2.6.0.1
","","#f"),
("static","
/gnu/store/kcix2xj8pq2gwz86dbd6yl7hy53w6nak-
agda-2.6.0.1-static
","","#f")
],[
Inputs
("
/gnu/store/04k7w4k81kajxzdh0qlk5a9dgwyzs6dp-
ghc-hashable-1.2.7.0.drv
","["out"]),
("
/gnu/store/0qrb26amjicd885pdsgp6a5bxa4chwqh-
gzip-1.10.drv
","["out"]),
("
/gnu/store/12ipmqgsab5kigvkamyxk4rjrjsw5ps7-
ghc-equivalence-0.3.5.drv
","["out"]),
("
/gnu/store/1chr3w715c6b479y7jxclzp1ykvbd7gm-
ghc-unordered-containers-0.2.10.0.drv
","["out"]),
("
/gnu/store/2favpyd919n2gqi5zr4d1lj8ach6skym-
ghc-gitrev-1.3.1.drv
","["out"]),
("
/gnu/store/332ifx5kikz5307krcw8zb2apciddzx0-
binutils-2.34.drv
","["out"]),
("
/gnu/store/529hahxylma7f1s5vsq3j7pjgxfhxq8r-
ghc-exceptions-0.10.3.drv
","["out"]),
("
/gnu/store/57rhddi0r0cm4acz51b5f0f9y5gawkmy-
ghc-boxes-0.1.5.drv
","["out"]),
("
/gnu/store/5adfkpad8prlyy32grcfdmngh2r02r18-
glibc-2.31.drv
","["out","static"]),
("
/gnu/store/5x45nzmp5iylz1640w1zs7ll5w4d4606-
ghc-zlib-0.6.2.1.drv
","["out"]),
("
/gnu/store/691n5wh4p4zqckww5iwshnm7qrp67s93-
ghc-async-2.2.2.drv
","["out"]),
("
/gnu/store/8644vsr6klgxrm3kagiqx3l7dh9na74f-
ghc-blaze-html-0.9.1.2.drv
","["out"]),
("
/gnu/store/8g21jw7yfiqa62qlf0324c7b4vxk53xx-
grep-3.4.drv
","["out"]),
("
/gnu/store/97v0hr1x88b92v6jv2izpm99dlw5cpgf-
ghc-data-hash-0.2.0.1.drv
","["out"]),
("
/gnu/store/9agap9a53fqf94mk2yqv8r1vws084l6j-
make-4.3.drv
","["out"]),
("
/gnu/store/adqnz1nlb81dwmgrlg3v1lgckzxfnc3s-
ghc-edit-distance-0.2.2.1.drv
","["out"]),
("
/gnu/store/ammwirwb8a0v1zpfrzfpgrbsahg0aixc-
diffutils-3.7.drv
","["out"]),
("
/gnu/store/aqgawymm295qmszgigwfcznbvd6ykx6l-
ghc-uri-encode-1.5.0.5.drv
","["out"]),
("
/gnu/store/b5g41pw51yd96074sbkb4gvgz0y07wvi-
glibc-utf8-locales-2.31.drv
","["out"]),
("
/gnu/store/b8ss613vh4v2l86gz8s0vy550h6r5zi1-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/cfqcbq495wzr1vmz5ayspqkzpixpbzvc-
ghc-aeson-1.4.5.0.drv
","["out"]),
("
/gnu/store/dz4vqd5myqr5y5y583iqgnalwqv7qpfb-
ghc-ieee754-0.8.0.drv
","["out"]),
("
/gnu/store/f6nk8zlgn35cv262xpx6zqk80a2grgih-
ghc-geniplate-mirror-0.7.6.drv
","["out"]),
("
/gnu/store/gifv3lbd7fr35w4022z4dnr4ns9jgbbz-
gawk-5.0.1.drv
","["out"]),
("
/gnu/store/hpwhsn6znk53vf27mcskx327jdndy1in-
ghc-alex-3.2.4.drv
","["out"]),
("
/gnu/store/i2kx3sphb1a3i446jicks7by2w6qvnaf-
ghc-8.6.5.drv
","["out"]),
("
/gnu/store/i63fnll4hdih4zqbs180g551bkjp318s-
Agda-2.6.0.1.tar.gz.drv
","["out"]),
("
/gnu/store/ii9mscyv5c2y2xd2w2y6n5mg3rx34zbs-
ghc-happy-1.19.12.drv
","["out"]),
("
/gnu/store/il7ahrzrck57qw71gwjvrgapj2wbdpx6-
hurd-core-headers-0.9-1.91a5167.drv
","["out"]),
("
/gnu/store/ixl6vwv2a1hjngmf6j54603mqhpsgvrv-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/k7248qhhxn00d1rrpsq42bih5xm7w4ii-
ghc-strict-0.3.2.drv
","["out"]),
("
/gnu/store/lnsy65a55jbr1vk6aq4b7k3q7ajz6ll0-
guile-3.0.2.drv
","["out"]),
("
/gnu/store/n56za411720shh9qsdj2g120i53qzvz9-
bash-minimal-5.0.16.drv
","["out"]),
("
/gnu/store/nv8723zrjd97lwgz8zld1lrlq1hym073-
sed-4.8.drv
","["out"]),
("
/gnu/store/pfcyy7396j341q1aglkh74nr71myvfsl-
xz-5.2.4.drv
","["out"]),
("
/gnu/store/pj3b0380r0a86kygvyqvp7i9jqgdvg5n-
ghc-filemanip-0.3.6.3.drv
","["out"]),
("
/gnu/store/pqk01lgdbdqp3srasigcv7di7gihd683-
findutils-4.7.0.drv
","["out"]),
("
/gnu/store/q4wxnn5sg7rjhkhwdrjw6kbd91vqciim-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/q7x10n29wpxj5xgaz0lbkwa5hgi43fki-
ghc-edisoncore-1.3.2.1.drv
","["out"]),
("
/gnu/store/qvanawn7bizvg5sdqcwrc1im0mp0fk1j-
ghc-regex-tdfa-1.2.3.2.drv
","["out"]),
("
/gnu/store/rmkb61pryzna5b16dg41jdb5n327ikzj-
ghc-murmur-hash-0.1.0.9.drv
","["out"]),
("
/gnu/store/sd2b1270zqsk83jcq42mnzcn33l436pq-
file-5.38.drv
","["out"]),
("
/gnu/store/wimgnaf94a11v3r3bdzn7yszrpv4hzdb-
ghc-hashtables-1.2.3.4.drv
","["out"]),
("
/gnu/store/wj18ijyn5djb1phmx7ljixff3xc2b9cy-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/xb5lb2wkh95j5vrjflrram3n90zhs60s-
tar-1.32.drv
","["out"]),
("
/gnu/store/y7isjf6i92wmvwlxyfxj19q0v0f7bymm-
gcc-7.5.0.drv
","["out"]),
("
/gnu/store/zi31w264l8zp72ja22inr0742x55mf57-
module-import-compiled.drv
","["out"])
],[
Sources
"
/gnu/store/d2i2r5bhpl06wk70nqawvlfxhwdv6ra5-
agda-2.6.0.1-guile-builder
",
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
"
],
System
"i586-gnu",
Builder
"
/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-
guile-3.0.2
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
",
"
/gnu/store/d2i2r5bhpl06wk70nqawvlfxhwdv6ra5-
agda-2.6.0.1-guile-builder
"
],[
Environment variables
("GUILE_LOAD_COMPILED_PATH","
/gnu/store/f33m0gkbnjg4mzahg3j64ml8kcx6q7lr-
module-import-compiled
")
("out","
/gnu/store/rjx035avfrby0bc1sqxxn1n2zi2sqkmk-
agda-2.6.0.1
")
("static","
/gnu/store/kcix2xj8pq2gwz86dbd6yl7hy53w6nak-
agda-2.6.0.1-static
")
]
)