/gnu/store/h601l0x0690w352qgs4da7s3w7v3jj05-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/rq89h1kplcqhwaml08q8nbfdmls2h82a-
agda-2.6.0.1
","","#f")
],[
Inputs
("
/gnu/store/0cd2wv01r5xmhih1gan7ab5rgy8qsd33-
ghc-8.6.5.drv
","["out"]),
("
/gnu/store/0lsd4bwnd69a2qv4dh7zpjxcqic295vb-
glibc-2.31.drv
","["out","static"]),
("
/gnu/store/0nml9l8p3jzy64z0dziac1xvmxws3fxx-
diffutils-3.7.drv
","["out"]),
("
/gnu/store/16lknihb9842sdydbpbpyhq87zb3asdq-
ghc-unordered-containers-0.2.10.0.drv
","["out"]),
("
/gnu/store/1p7clv7g4h67llp2hwm054d36i2fqr1x-
ghc-zlib-0.6.2.1.drv
","["out"]),
("
/gnu/store/1pkshyi245rx03b0yhnd8r1i4v3968p9-
ghc-edisoncore-1.3.2.1.drv
","["out"]),
("
/gnu/store/2kha1swzc9f7z5yis8bkck5h1zfv9gwf-
ghc-boxes-0.1.5.drv
","["out"]),
("
/gnu/store/35rd38z031kl2c0rckwqcjcy5hwpfpkr-
ghc-exceptions-0.10.3.drv
","["out"]),
("
/gnu/store/3sjjzl3npcm9z577idzjzd0ckxyw7d3j-
ghc-uri-encode-1.5.0.5.drv
","["out"]),
("
/gnu/store/50nfgvmf3g1vafswy0gqmscmy1ggm95q-
ghc-regex-tdfa-1.2.3.2.drv
","["out"]),
("
/gnu/store/68vi37kqy0g4hd9zni5b3w3kx4wqw61j-
glibc-utf8-locales-2.31.drv
","["out"]),
("
/gnu/store/6cad586s0hiylfd36j6kc3rlvl49ab32-
sed-4.8.drv
","["out"]),
("
/gnu/store/6pgk8fs07szkfvlglx24cxra7fmcj5l4-
ghc-geniplate-mirror-0.7.6.drv
","["out"]),
("
/gnu/store/6s6gnsrzsgzb3xvq3074kza5zqqj3dp4-
make-4.3.drv
","["out"]),
("
/gnu/store/7a8dbj483a9xv2wlbygfyci8by9xi6ci-
findutils-4.7.0.drv
","["out"]),
("
/gnu/store/7nyl7i8pfgsjwcqjkxgj385pln0qbz1n-
tar-1.32.drv
","["out"]),
("
/gnu/store/7p2rwlg87cz0kfldvkh4pzmhhfinf6pn-
ghc-gitrev-1.3.1.drv
","["out"]),
("
/gnu/store/7pqb0x577mps0y3wh6fgrfhc55qq3jv0-
bash-minimal-5.0.16.drv
","["out"]),
("
/gnu/store/8wc3qhr7hq8b44pz6s7gvx0lkkypgqcd-
ghc-edit-distance-0.2.2.1.drv
","["out"]),
("
/gnu/store/9wlfi8jwwyvbmmar3g62qyfvxaxzhzki-
grep-3.4.drv
","["out"]),
("
/gnu/store/a8wmzzkfrhjfd3pb0vfnksq5j057vv5r-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/am3c6i2hng9h7cbzsdcwhnyhp5js5nff-
gzip-1.10.drv
","["out"]),
("
/gnu/store/b2i9zzvygmzw397sa54y9y335rklkwzr-
binutils-2.34.drv
","["out"]),
("
/gnu/store/dbr1gcpsnpi6vk5b0zp8pa1a2nmfchcw-
ghc-strict-0.3.2.drv
","["out"]),
("
/gnu/store/dh8hlbp3w67v6zqgy5nxa16w5rb70dqw-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/dwzj5w65wvzfd0f2a1xijz1mqrwy6w29-
guile-3.0.2.drv
","["out"]),
("
/gnu/store/dxbf04vllsqfy5yzc31hkwvnnzbcjn11-
gawk-5.0.1.drv
","["out"]),
("
/gnu/store/h52l12vrhd163ayg85jzrniylcn8mibz-
ghc-ieee754-0.8.0.drv
","["out"]),
("
/gnu/store/hl7j91s90p4mgvc1fycbdyq29mdi2r1r-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/jjnd7w2zil0rw5wzalbw8kgp2s1lfjfk-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/lwxq5b1h753z49cpqf9f27a2j1jp0yai-
ghc-hashtables-1.2.3.4.drv
","["out"]),
("
/gnu/store/mdbymn586g2ca69kjnh3cnawmqsgnid6-
ghc-data-hash-0.2.0.1.drv
","["out"]),
("
/gnu/store/nav1ss9j7svnsk33d9q6hnpn3rnkan6i-
file-5.38.drv
","["out"]),
("
/gnu/store/nrbp466zilwbwjj4j43xznxqyrqx7cq4-
ghc-filemanip-0.3.6.3.drv
","["out"]),
("
/gnu/store/pki7bhpbyjzc31dkjc8x7zm8rzi6xzdk-
gcc-7.5.0.drv
","["out"]),
("
/gnu/store/qavhqp4gdrx9ccynrzrmxmz9xxj25v3h-
linux-libre-headers-5.4.20.drv
","["out"]),
("
/gnu/store/qmgg3sf7n67dymlw9v4bmj1k8bbfrvni-
ghc-aeson-1.4.5.0.drv
","["out"]),
("
/gnu/store/rb61d9n1alj410yrs19vlbwr6dm2yqid-
ghc-equivalence-0.3.5.drv
","["out"]),
("
/gnu/store/s1mssmi8zlicr3895zq38m2kw93qc3bp-
xz-5.2.4.drv
","["out"]),
("
/gnu/store/sxahnnsnbbsq2np6fbw24c6nwzk9pd9z-
ghc-happy-1.19.12.drv
","["out"]),
("
/gnu/store/v40vri0895pv0zysk755qisq3ff7iypp-
ghc-murmur-hash-0.1.0.9.drv
","["out"]),
("
/gnu/store/vww03rhnc5vr91hdkh11kpi17pk6wqdx-
ghc-alex-3.2.4.drv
","["out"]),
("
/gnu/store/wlnp49vrx7glq68f2fgv6fm218h3lvx6-
ghc-blaze-html-0.9.1.2.drv
","["out"]),
("
/gnu/store/x72q91bnfqr3c5fzwkj3zmia9cjv7ksm-
ghc-async-2.2.2.drv
","["out"]),
("
/gnu/store/z0z4jfhdz18bv0qn535917vh37c6y874-
Agda-2.6.0.1.tar.gz.drv
","["out"]),
("
/gnu/store/z9rrkjfzwv7mzl12r0n5368wizjzhpy8-
ghc-hashable-1.2.7.0.drv
","["out"]),
("
/gnu/store/zv4kh446as5zv12m5j9b70r2dymxn696-
module-import-compiled.drv
","["out"])
],[
Sources
"
/gnu/store/424zn7v1z3pbals2z03fhpp4san10q4y-
module-import
",
"
/gnu/store/fbm8xi265gfghfi7nwdzm8bf8pcnnrmk-
agda-2.6.0.1-guile-builder
"
],
System
"aarch64-linux",
Builder
"
/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-
guile-3.0.2
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/424zn7v1z3pbals2z03fhpp4san10q4y-
module-import
",
"
/gnu/store/fbm8xi265gfghfi7nwdzm8bf8pcnnrmk-
agda-2.6.0.1-guile-builder
"
],[
Environment variables
("GUILE_LOAD_COMPILED_PATH","
/gnu/store/7p7wcqy56kvgyalmyng9ydhm8wffvas7-
module-import-compiled
")
("out","
/gnu/store/rq89h1kplcqhwaml08q8nbfdmls2h82a-
agda-2.6.0.1
")
]
)