/gnu/store/wl8dd2pkgfiani9xvg68hl40p1wcavcc-
agda-2.6.2.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/dz1lf03y543pn8vcwj34bbhlbq4kbana-
agda-2.6.2.1
","","#f"),
("static","
/gnu/store/m6ndr2z2iaam7kl06f70nny9nycnz0i8-
agda-2.6.2.1-static
","","#f")
],[
Inputs
("
/gnu/store/0q67qjyia90kawyfn05p6h7kasmq4pa6-
ghc-blaze-html-0.9.1.2.drv
","["out"]),
("
/gnu/store/11cxz7g77kadzr5fp29sh0cwzp83zk6y-
make-4.3.drv
","["out"]),
("
/gnu/store/1nkx4r40w3akia3zj5r4iv1km057f5wd-
ghc-strict-0.4.0.1.drv
","["out"]),
("
/gnu/store/2c8xz46zwfwp6sb8vwp15jsf79if29jh-
gzip-1.10.drv
","["out"]),
("
/gnu/store/30sp4dwibb0xd07mqrax7xfmzhh5b66w-
ghc-parallel-3.2.2.0.drv
","["out"]),
("
/gnu/store/38r7hw7n9bbsclk0p8b4yfrn4k1nndcp-
ghc-uri-encode-1.5.0.7.drv
","["out"]),
("
/gnu/store/3lnychv2w2svvb89fpivkk9hd4fcc4z3-
ghc-alex-3.2.6.drv
","["out"]),
("
/gnu/store/3vsh56g3nijfazja0gh86ly8wf2pr4n6-
ghc-equivalence-0.3.5.drv
","["out"]),
("
/gnu/store/41l16p74hvf8p80snk1vyhsfkyw4lbhx-
ghc-regex-tdfa-1.3.1.1.drv
","["out"]),
("
/gnu/store/6pk11d7g5540mp6cmkssn5alip0iaif6-
ghc-gitrev-1.3.1.drv
","["out"]),
("
/gnu/store/6rwia5gx70p8kipfqygr2pgcbrfji1bv-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/6x0zqbdlrs4pdvrmpmln3fdgii8sf5pm-
ghc-async-2.2.4.drv
","["out"]),
("
/gnu/store/7bgnazs2qic95y7wiah0azy6dczy93jr-
sed-4.8.drv
","["out"]),
("
/gnu/store/ajw48nina8klbdx2m62s854z9r041mw4-
bash-minimal-5.1.8.drv
","["out"]),
("
/gnu/store/azivbfzmn4yp9vspxylgi4k0wzvi27nc-
diffutils-3.8.drv
","["out"]),
("
/gnu/store/c09zhipaigsa52c2n76aqb3fyybif59l-
glibc-utf8-locales-2.33.drv
","["out"]),
("
/gnu/store/cyv9vxvi8hlqprfdiqzv3gn2h2k8z083-
xz-5.2.5.drv
","["out"]),
("
/gnu/store/d3fpln37qw9nwda8qxjy2z4c6vw3xg13-
ghc-data-hash-0.2.0.1.drv
","["out"]),
("
/gnu/store/di2n19gl43qp44as0ib0xsh5p35369bf-
findutils-4.8.0.drv
","["out"]),
("
/gnu/store/djyh3vrlf951vlbz7pllnp1yminpkv90-
glibc-2.33.drv
","["out","static"]),
("
/gnu/store/frss4q6zr9b45bzswnhv3vgwk2vxrzyp-
ghc-hashable-1.3.0.0.drv
","["out"]),
("
/gnu/store/gvypwi628j45388lzgcxfigkc3wrmc3k-
guile-3.0.7.drv
","["out"]),
("
/gnu/store/hpmm49r0n7s615ja19x6hna02s8wcnnz-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/i9lqvizismgnx4vc03nral16pzz411kl-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/iazgn3zais81698056jbdal7s7jzjpph-
ghc-boxes-0.1.5.drv
","["out"]),
("
/gnu/store/if97cq798y5r0hd7krw3f8jac63ym7jp-
ghc-split-0.2.3.4.drv
","["out"]),
("
/gnu/store/in4gc84k7gc81ggjp1habgp87mr2i4w5-
binutils-2.37.drv
","["out"]),
("
/gnu/store/j5c8q5gpq7vg8gg0bcxxmndj59n7ljvq-
ghc-happy-1.20.0.drv
","["out"]),
("
/gnu/store/jmshipcmrmpyrfrq91h1fvm3nm6c1mym-
ghc-case-insensitive-1.2.1.0.drv
","["out"]),
("
/gnu/store/lmddbxlbvjb3dmw2b7xbfwrfdgjz6xv8-
grep-3.6.drv
","["out"]),
("
/gnu/store/m8r3sw57iyw2q3rgcp9i5532n12x4jq1-
ghc-zlib-0.6.2.3.drv
","["out"]),
("
/gnu/store/n282sfnnp92p5m8kid5rhg8f0lbyhwl3-
file-5.39.drv
","["out"]),
("
/gnu/store/nkbxmzk99lmkf6wcd6k1hw6ifvjd8y6v-
ghc-edit-distance-0.2.2.1.drv
","["out"]),
("
/gnu/store/q6ngrzz45h7y2zxzcshlszfvfcl5lpc5-
gawk-5.1.0.drv
","["out"]),
("
/gnu/store/q7n6h841mbs543di8m4dpnd7crakpxa0-
module-import-compiled.drv
","["out"]),
("
/gnu/store/qj4msd7mgcch78arrsl1zwln9859dz1h-
tar-1.34.drv
","["out"]),
("
/gnu/store/rbgcy28mz78s5y0b8kcrp9y0sjggkcm2-
ghc-hashtables-1.2.4.1.drv
","["out"]),
("
/gnu/store/smhq3blkq7yq381ayq6ha6a5mmk08hf7-
gcc-10.3.0.drv
","["out"]),
("
/gnu/store/vbjkcxncl8mc7akyq2qmn3lvrk8icsp6-
ghc-monad-control-1.0.3.1.drv
","["out"]),
("
/gnu/store/vz01gvz5flf76cx0hl84rryba66xcdm3-
linux-libre-headers-5.10.35.drv
","["out"]),
("
/gnu/store/w2c73mh3xjwxr9gfrrnkfz80zvvrkwp2-
ghc-8.10.7.drv
","["out"]),
("
/gnu/store/wzn8ng20d1gl3rhycl631fzv4w8fqa1i-
ghc-unordered-containers-0.2.14.0.drv
","["out"]),
("
/gnu/store/x4g974pmb93ymxq5kd9bniqynia7f6dx-
ghc-aeson-1.5.6.0.drv
","["out"]),
("
/gnu/store/xsxxa8shlvczvncdb3hqf44j0ry7sv54-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/y0kd0q4zf5w996q3imc2g2cfspn95ipi-
Agda-2.6.2.1.tar.gz.drv
","["out"]),
("
/gnu/store/yzxpd5f0d39d61a8v1ywgzikf476p2wv-
ghc-murmur-hash-0.1.0.9.drv
","["out"])
],[
Sources
"
/gnu/store/apl1bixyans57mlirzv71f35phb79baf-
module-import
",
"
/gnu/store/i85dy9jivz9rxmdzdy3dw565h3dngc1m-
agda-2.6.2.1-builder
"
],
System
"x86_64-linux",
Builder
"
/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-
guile-3.0.7
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/apl1bixyans57mlirzv71f35phb79baf-
module-import
",
"
-C
",
"
/gnu/store/fnphwc3s5z2mkrm7mk4fd3xfb74shz67-
module-import-compiled
",
"
/gnu/store/i85dy9jivz9rxmdzdy3dw565h3dngc1m-
agda-2.6.2.1-builder
"
],[
Environment variables
("out","
/gnu/store/dz1lf03y543pn8vcwj34bbhlbq4kbana-
agda-2.6.2.1
")
("static","
/gnu/store/m6ndr2z2iaam7kl06f70nny9nycnz0i8-
agda-2.6.2.1-static
")
]
)