/gnu/store/mmmxx2djy751b0qala64q7fvcxhwp3xv-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/y30kfzdph937qfdfql16nxgxaffb06fw-
agda-2.6.0.1
","","#f"),
("static","
/gnu/store/fw1q1p2laxacc6va55s4dv4q2q907fa5-
agda-2.6.0.1-static
","","#f")
],[
Inputs
("
/gnu/store/0nrrqr1l29d1d4bzwpg9a6zhlifm7fsf-
ghc-regex-tdfa-1.2.3.2.drv
","["out"]),
("
/gnu/store/12c3a2y3dwvx55xfrk69m735gj3fbcih-
ghc-strict-0.3.2.drv
","["out"]),
("
/gnu/store/1xkybzq322wprafy45jb874ypy8fqawz-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/2cs212398n6y4rsrwdh1llgisi5c2an7-
ghc-blaze-html-0.9.1.2.drv
","["out"]),
("
/gnu/store/3ayp4way6hsz9jxd66wqb5kw0wfaxkyl-
ghc-zlib-0.6.2.1.drv
","["out"]),
("
/gnu/store/3pp1hdv6pdjcrfg4j86v21gmxw16k4mc-
glibc-utf8-locales-2.31.drv
","["out"]),
("
/gnu/store/4d164cyy86wldi0ad79y5kpvqdqmhjyi-
xz-5.2.4.drv
","["out"]),
("
/gnu/store/6k6kpnyz0bjfpx7a166mf80r5kcz09wb-
make-4.3.drv
","["out"]),
("
/gnu/store/8gbg5pk5n4r358wkb44w7hv4454bkkjg-
ghc-filemanip-0.3.6.3.drv
","["out"]),
("
/gnu/store/8lydxs94wywvl1p4y02b0zvlgr238ij6-
tar-1.32.drv
","["out"]),
("
/gnu/store/adjz6nz4602lay2w06d72aij163l7ksv-
ghc-exceptions-0.10.3.drv
","["out"]),
("
/gnu/store/azvcrfg4c50ah4rjpyhqix6mij6l3xxs-
ghc-hashtables-1.2.3.4.drv
","["out"]),
("
/gnu/store/b0y6gz44bx9032k9pbpm5bfmi4yi5wpv-
ghc-ieee754-0.8.0.drv
","["out"]),
("
/gnu/store/bkayngwp3chn7faygs1032cn7n64a7qw-
ghc-happy-1.19.12.drv
","["out"]),
("
/gnu/store/ch1rcqk0c7xy28hpqkj3kf871x4avla5-
ghc-uri-encode-1.5.0.5.drv
","["out"]),
("
/gnu/store/dlv70ny2yn19pg0c9pcv4flbpznzb2f6-
Agda-2.6.0.1.tar.gz.drv
","["out"]),
("
/gnu/store/dxq4pywr7lgh3dd43ib22hfpj34friya-
bash-minimal-5.0.16.drv
","["out"]),
("
/gnu/store/f5vscmzihgcv875jvhd71fcb83swf23s-
binutils-2.34.drv
","["out"]),
("
/gnu/store/fnvdljfqy6652rzyl53vkh077l760878-
ghc-geniplate-mirror-0.7.6.drv
","["out"]),
("
/gnu/store/fvji4kh1kml081gyk2siyqvfp21cgynk-
findutils-4.7.0.drv
","["out"]),
("
/gnu/store/fwcfjsii9pzjf160dp9slkzgxqw6xbm5-
ghc-alex-3.2.4.drv
","["out"]),
("
/gnu/store/h0nkfy14kwnjn4fq002scym0j7321vk9-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/hmqzqd54gmcfa4z6zhz55i2dg99ga74z-
gzip-1.10.drv
","["out"]),
("
/gnu/store/ihk0dgvz0x3wdi5xlxiw22yk88xc9ir8-
ghc-edisoncore-1.3.2.1.drv
","["out"]),
("
/gnu/store/jywk98h73vi46alr74zwfkcr7srky6ln-
diffutils-3.7.drv
","["out"]),
("
/gnu/store/l5jslwk73gmkv7wqy827is45q3jwjmpn-
ghc-unordered-containers-0.2.10.0.drv
","["out"]),
("
/gnu/store/lhlvns9cwra91wh23gkzfdkxla2yh1f2-
ghc-gitrev-1.3.1.drv
","["out"]),
("
/gnu/store/lxh6586b657qckaivfp8r79wkqq4m7v3-
ghc-async-2.2.2.drv
","["out"]),
("
/gnu/store/ma97vwnwmapvrq8lvgcxycxqgc8cbph1-
glibc-2.31.drv
","["out","static"]),
("
/gnu/store/nnb0qls6mcp2dbsmlzv1zhphyxw7g20g-
ghc-equivalence-0.3.5.drv
","["out"]),
("
/gnu/store/pb4igk4iw823mlhsvwr4ncxjjys3lq68-
linux-libre-headers-5.4.20.drv
","["out"]),
("
/gnu/store/pcnvz4srjr78dyavf24x5dl8pnkjpvrc-
ghc-murmur-hash-0.1.0.9.drv
","["out"]),
("
/gnu/store/pmb8v2is67fsfr470dgdr3sbn73zkv9n-
grep-3.4.drv
","["out"]),
("
/gnu/store/q92i1hghvb8ry6gmi7rdsfkyqfjchj7b-
ghc-data-hash-0.2.0.1.drv
","["out"]),
("
/gnu/store/qxarp1rr2dia2sp30s8axam1mqk1kjqi-
ghc-boxes-0.1.5.drv
","["out"]),
("
/gnu/store/rhjfmsp63vngsm2p1x8px7j21pngmaj3-
ghc-edit-distance-0.2.2.1.drv
","["out"]),
("
/gnu/store/s6nx6pka9hv7jbsx3fp3aq5czj9l6na9-
file-5.38.drv
","["out"]),
("
/gnu/store/syzg38yfdy2543rlcwssrphyljax0jnj-
guile-3.0.2.drv
","["out"]),
("
/gnu/store/szr82d28i2gxh2axqnvvlg9689dp6jd1-
module-import-compiled.drv
","["out"]),
("
/gnu/store/vvifw8172winzpmin8a67ckiimp0c9bv-
sed-4.8.drv
","["out"]),
("
/gnu/store/wck5mkgax0g3b05yqf6qvhkwcq6xmari-
ghc-8.6.5.drv
","["out"]),
("
/gnu/store/x6c5d3la5jcxp9bqnsdjridczhkys4ps-
gcc-7.5.0.drv
","["out"]),
("
/gnu/store/xhb62cyshvmy5mdijysxwy2zvvkl98ln-
ghc-hashable-1.2.7.0.drv
","["out"]),
("
/gnu/store/xhv4xdd0r6bbnxadf390x52x18423q19-
gawk-5.0.1.drv
","["out"]),
("
/gnu/store/xqz69z026a9p1hbs1b7gvvn63p0jnw8s-
ghc-aeson-1.4.5.0.drv
","["out"]),
("
/gnu/store/yhs61h0iydpayvja1bs4l73ybfb30mk4-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/yrjdsqi8h25jmnvx5k8m5z94839bp6mz-
coreutils-8.32.drv
","["out"])
],[
Sources
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
",
"
/gnu/store/nmbdpylyaf12hlbb6gl5qf0si2vk06lk-
agda-2.6.0.1-guile-builder
"
],
System
"mips64el-linux",
Builder
"
/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-
guile-3.0.2
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-
module-import
",
"
/gnu/store/nmbdpylyaf12hlbb6gl5qf0si2vk06lk-
agda-2.6.0.1-guile-builder
"
],[
Environment variables
("GUILE_LOAD_COMPILED_PATH","
/gnu/store/vk8pdddyasr4b7hsw0iizrxm20jzfd0j-
module-import-compiled
")
("out","
/gnu/store/y30kfzdph937qfdfql16nxgxaffb06fw-
agda-2.6.0.1
")
("static","
/gnu/store/fw1q1p2laxacc6va55s4dv4q2q907fa5-
agda-2.6.0.1-static
")
]
)