/gnu/store/pfdxdpzala3s4v9l0v77qj57kynih6vq-
agda-2.6.2.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/znqmrzmhwm0j83g6mal18f5js5md0p44-
agda-2.6.2.1
","","#f"),
("static","
/gnu/store/xr47xs0p9dqaib92qrpwnw89vriiadvx-
agda-2.6.2.1-static
","","#f")
],[
Inputs
("
/gnu/store/0vs54rk5z6dli3qqljcqkm1ffb3hvq4x-
ghc-alex-3.2.6.drv
","["out"]),
("
/gnu/store/2rc8x7mpy7rrylaxlx42cykx1ghw5a3z-
gawk-5.1.0.drv
","["out"]),
("
/gnu/store/4vgfw8jr3k5svcq1pp0r59drqhj2ck0h-
grep-3.6.drv
","["out"]),
("
/gnu/store/5921y0pkd00hhj23hi8s5r73p2aw273d-
ghc-parallel-3.2.2.0.drv
","["out"]),
("
/gnu/store/6c6ry9mqrs6517cpav6jkg6cqkgkc65j-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/6dg7ikzqq660j6pb2ma5ayja247q24g0-
findutils-4.8.0.drv
","["out"]),
("
/gnu/store/6nfy59xrkcydq3bdm1q6c07i1lpslavr-
ghc-boxes-0.1.5.drv
","["out"]),
("
/gnu/store/7220s34vkz2akhihsppb332n33v2vdz7-
ghc-zlib-0.6.2.3.drv
","["out"]),
("
/gnu/store/80ibsi7284whpvwkwaxsnra5z9p6j8js-
bash-minimal-5.1.8.drv
","["out"]),
("
/gnu/store/81kaq5rdbqpmxxs0324rha4m71qd951g-
ghc-data-hash-0.2.0.1.drv
","["out"]),
("
/gnu/store/8bf32qmqybsfvrnl16wdlgv7xa6k4nhq-
glibc-utf8-locales-2.33.drv
","["out"]),
("
/gnu/store/95qx9l25hmd07clniiwx6z58qmy45253-
binutils-2.37.drv
","["out"]),
("
/gnu/store/9rys9bfq9x6g9jdb43lxl3qvvqi39n8b-
glibc-2.33.drv
","["out","static"]),
("
/gnu/store/b05b318y034pxij0mjw43bznalp4ibnp-
ghc-gitrev-1.3.1.drv
","["out"]),
("
/gnu/store/b49wzjlf2xxsp648fnbpphxh0yg2iimj-
file-5.39.drv
","["out"]),
("
/gnu/store/bw56wayqvrv6jd9nk0c263ff2h3hqi4z-
sed-4.8.drv
","["out"]),
("
/gnu/store/chphmljbl70r2ad4qh4dx6ngqpsjq10l-
ghc-aeson-1.5.6.0.drv
","["out"]),
("
/gnu/store/dmwbfcjyw0b6jf2x320j3ai16nj4mcnd-
ghc-case-insensitive-1.2.1.0.drv
","["out"]),
("
/gnu/store/g3fpymqcvdkmnvdfav7hqrw1cl7cjmcw-
ghc-hashable-1.3.0.0.drv
","["out"]),
("
/gnu/store/gw8c79zjn4q6lkhsxqf2z2c4zcp5r08d-
ghc-edit-distance-0.2.2.1.drv
","["out"]),
("
/gnu/store/gwkf8j21va3sbn2dkjzlma6vwmri16wy-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/hg780mj1zhzb9c9l09mj8kp82lk7gd4g-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/iafmii9kw068ylbv4zwyf20gwdgpvfki-
ghc-8.10.7.drv
","["out"]),
("
/gnu/store/iqr5x9r4bz9j9dmhw50nd0w247zdjhqz-
ghc-regex-tdfa-1.3.1.1.drv
","["out"]),
("
/gnu/store/j3j1shy5b496p8s1cfc7vfyf6yghmlz8-
gzip-1.10.drv
","["out"]),
("
/gnu/store/ji892pl7nci8cs8gfflh18zjj520g26x-
ghc-monad-control-1.0.3.1.drv
","["out"]),
("
/gnu/store/kvi84acc56h1abcpqqasm5hwjaybhk6a-
ghc-async-2.2.4.drv
","["out"]),
("
/gnu/store/m9fpn3dl4nps8xz5wlf68z0g81p76zp7-
diffutils-3.8.drv
","["out"]),
("
/gnu/store/mj0vq2fmff82aazkb2s76i5qlv13s46l-
ghc-strict-0.4.0.1.drv
","["out"]),
("
/gnu/store/mlljf06bsl1m6ikq26k5bmzw5v2klf7w-
xz-5.2.5.drv
","["out"]),
("
/gnu/store/mxjssisw3xiibyn1w29kl5i4xgib6cw6-
guile-3.0.7.drv
","["out"]),
("
/gnu/store/pk5lcyqs4k34a0d6h8i96b3mcf5ykcw2-
make-4.3.drv
","["out"]),
("
/gnu/store/pr43ch5vjl1y9kcz8zzn56mc7dfqhcv1-
ghc-blaze-html-0.9.1.2.drv
","["out"]),
("
/gnu/store/q7rayvha11s68q7i3bkf21rdya8m15sx-
ghc-happy-1.20.0.drv
","["out"]),
("
/gnu/store/rfq2zj6mwxg62mhpr65c3rn66ivzk0mz-
linux-libre-headers-5.10.35.drv
","["out"]),
("
/gnu/store/rm8vg9vz6rpbycf9ggi9bsmj4ygc97xd-
ghc-hashtables-1.2.4.1.drv
","["out"]),
("
/gnu/store/rpdp9lv4gmamb0c927x67z57b98fsglm-
Agda-2.6.2.1.tar.gz.drv
","["out"]),
("
/gnu/store/s2935h0qymc4davq4ning51j8n432zm8-
ghc-split-0.2.3.4.drv
","["out"]),
("
/gnu/store/s7rvx1pqh3d2a6gi43m2p0qgv8nyky4l-
ghc-equivalence-0.3.5.drv
","["out"]),
("
/gnu/store/slddikcrz5sgibc63ggbzir24qx0h2gx-
ghc-uri-encode-1.5.0.7.drv
","["out"]),
("
/gnu/store/slm2wj5jbqwmv3ya6gdpfzbh2wxwzcjw-
ghc-murmur-hash-0.1.0.9.drv
","["out"]),
("
/gnu/store/v8nwjh0z4s2hcb04slrgl1priqpnz9zr-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/wyc5fyq1k3jc9hw57kahj6ajl2bjn91a-
module-import-compiled.drv
","["out"]),
("
/gnu/store/ybliwccd5b0z352jcsa6xdn9qp65rz1m-
gcc-10.3.0.drv
","["out"]),
("
/gnu/store/z3m73c0cqh0hwp1m15nlk5avx1rvj9vw-
ghc-unordered-containers-0.2.14.0.drv
","["out"]),
("
/gnu/store/z9s5pv2gdxhv2zzdwfdcgfc7bajpqwh4-
tar-1.34.drv
","["out"])
],[
Sources
"
/gnu/store/apl1bixyans57mlirzv71f35phb79baf-
module-import
",
"
/gnu/store/ffwrxajp8qghx70qv065lwhbhyw5vr70-
agda-2.6.2.1-builder
"
],
System
"i686-linux",
Builder
"
/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-
guile-3.0.7
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/apl1bixyans57mlirzv71f35phb79baf-
module-import
",
"
-C
",
"
/gnu/store/r1926wzzdhvhf3nbrxvpsffwz861qcp7-
module-import-compiled
",
"
/gnu/store/ffwrxajp8qghx70qv065lwhbhyw5vr70-
agda-2.6.2.1-builder
"
],[
Environment variables
("out","
/gnu/store/znqmrzmhwm0j83g6mal18f5js5md0p44-
agda-2.6.2.1
")
("static","
/gnu/store/xr47xs0p9dqaib92qrpwnw89vriiadvx-
agda-2.6.2.1-static
")
]
)