/gnu/store/6s7hrd0pz9rni17c31wwhyicmbw44898-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/71bz7nd33anac70csdck2c9mjab8kkp9-
agda-2.6.0.1
","","")
],[
Inputs
("
/gnu/store/0g737vdjl2wyfkdxv03x3sd5pfdpmrb4-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/1wqywwj3i33bdjvn672qcs7n692f7qa7-
ghc-edit-distance-0.2.2.1.drv
","["out"]),
("
/gnu/store/28zlas3x4ry6q88fgq625ixh40igjws5-
guile-3.0.2.drv
","["out"]),
("
/gnu/store/2ihzi34mjym88axz61vdy0xp08ww9hbw-
ghc-aeson-1.4.5.0.drv
","["out"]),
("
/gnu/store/2pq79hrbv408213d1x2agcdlxzx5bkkp-
xz-5.2.4.drv
","["out"]),
("
/gnu/store/38qpnrahm4sl3bipyjp3in81pm5alwya-
file-5.38.drv
","["out"]),
("
/gnu/store/424sk2rq6awway0wchv8dbjh46vv7md2-
ghc-unordered-containers-0.2.10.0.drv
","["out"]),
("
/gnu/store/51binsh3f74x2if4qrnzwgf93xsj3k81-
ghc-happy-1.19.12.drv
","["out"]),
("
/gnu/store/5xa74yf1hy5ia1r9z5vxz7352qgqqba5-
ghc-ieee754-0.8.0.drv
","["out"]),
("
/gnu/store/6ai8gb42iggpjmbqn510ashqmpfw8008-
diffutils-3.7.drv
","["out"]),
("
/gnu/store/8hc9qa7ycj2jcj6kb4vijpc3lcd9k8jx-
make-4.3.drv
","["out"]),
("
/gnu/store/8sdfzwk92s9vymckhki9qq0ga0m56i5c-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/900v4vk3s171i4g72q9lz2f5qwr26n6q-
bash-minimal-5.0.16.drv
","["out"]),
("
/gnu/store/awcf80d8v43156zl8csmdyy423wwb49y-
ghc-alex-3.2.4.drv
","["out"]),
("
/gnu/store/awvds4wkavpsg8gmclva93zmminyvbbs-
ghc-hashable-1.2.7.0.drv
","["out"]),
("
/gnu/store/b0m20gdg7qfihs0sdh364zwnw6r541fz-
linux-libre-headers-5.4.20.drv
","["out"]),
("
/gnu/store/c176vnnkm7d4qqsbrg8bsx7cxghc4822-
ghc-gitrev-1.3.1.drv
","["out"]),
("
/gnu/store/c1q3am26i4am9wl3s1fc920sziyl9xd4-
ghc-strict-0.3.2.drv
","["out"]),
("
/gnu/store/ccgvnkhxpr87gz47cygj45h0wb8m4r4m-
ghc-exceptions-0.10.3.drv
","["out"]),
("
/gnu/store/cigvyhyli2kn8x6v8g1c5wdrlhff269p-
ghc-uri-encode-1.5.0.5.drv
","["out"]),
("
/gnu/store/czlc6p4kcfccr0nr6ajf9ab2pskfcdg1-
gawk-5.0.1.drv
","["out"]),
("
/gnu/store/dm20mgw5scmqlf93hns3s4gahz34ayla-
ghc-geniplate-mirror-0.7.6.drv
","["out"]),
("
/gnu/store/f7scxyvlynv4b0z8vv8m3m77pswnr98i-
module-import-compiled.drv
","["out"]),
("
/gnu/store/g60d7fdswly9vscjdqif8yi3f67yv81r-
findutils-4.7.0.drv
","["out"]),
("
/gnu/store/gbm1s8xy16ancvkgz3q7bvgbhp36k6hv-
ghc-blaze-html-0.9.1.2.drv
","["out"]),
("
/gnu/store/hr74fkb8jiymmgapkx6dlhhcq8vww89b-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/j4i7cbg7396wlgil439r83ykfywcw759-
ghc-murmur-hash-0.1.0.9.drv
","["out"]),
("
/gnu/store/jp7zmrdw9dmc439lsgv46gxyjprbchrl-
ghc-regex-tdfa-1.2.3.2.drv
","["out"]),
("
/gnu/store/kfcsyrsxsfjpn9a96n3q2bmkk12k9pa4-
Agda-2.6.0.1.tar.gz.drv
","["out"]),
("
/gnu/store/krrfkqbf7fx3sdnph037862c42vb3x3r-
grep-3.4.drv
","["out"]),
("
/gnu/store/l1qhw3qncrq7kxdgq27csps2jhzi1ajc-
ghc-boxes-0.1.5.drv
","["out"]),
("
/gnu/store/l1rs4346snfhnw5ghssvw5m08b52n8mm-
ghc-hashtables-1.2.3.4.drv
","["out"]),
("
/gnu/store/lh2b152y9s3q2zvb9ppj21bwhn2ws843-
ghc-edisoncore-1.3.2.1.drv
","["out"]),
("
/gnu/store/llc38h686yhccfj309bg9w31hgv4pfjy-
ghc-data-hash-0.2.0.1.drv
","["out"]),
("
/gnu/store/m5kwvhkbh5i58ksmy5fs0hpbdf2wmp4j-
binutils-2.34.drv
","["out"]),
("
/gnu/store/n2w1lvan4g4aaky6phb508fvp92kwx99-
gzip-1.10.drv
","["out"]),
("
/gnu/store/p6dk8jmkdn9hcrhqczrr7zg4ymkc7qmq-
gcc-7.5.0.drv
","["out"]),
("
/gnu/store/qjyypp4vk318g6zpbbkmznncpawhnx95-
ghc-async-2.2.2.drv
","["out"]),
("
/gnu/store/rcsxz1m62l36mqk0z4s95ic1vhyqcl6i-
glibc-2.31.drv
","["out","static"]),
("
/gnu/store/v4dqvh6rlv9sq2m6y1lhbcm52wf4bilv-
ghc-8.6.5.drv
","["out"]),
("
/gnu/store/wgclrivxfc6mn389k07fsb26xak454sh-
ghc-equivalence-0.3.5.drv
","["out"]),
("
/gnu/store/wl2d07wihwp2y94s4fncjbkyhm49mh0m-
ghc-filemanip-0.3.6.3.drv
","["out"]),
("
/gnu/store/xjr800ic67dlabsx3qnxi8axb7n485rn-
tar-1.32.drv
","["out"]),
("
/gnu/store/xpp3lvllb6ik7mp6szn43ylz8hwx5r7q-
glibc-utf8-locales-2.31.drv
","["out"]),
("
/gnu/store/ymp8p01vbs1lvlrxf2nfdbqnp4x8vx9m-
ghc-zlib-0.6.2.1.drv
","["out"]),
("
/gnu/store/ysshjgqwv9qg5adnfcyswhwf6ad56f1f-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/zick2d0gy7rpjkzldr82qf7sg27rq13y-
sed-4.8.drv
","["out"])
],[
Sources
"
/gnu/store/424zn7v1z3pbals2z03fhpp4san10q4y-
module-import
",
"
/gnu/store/zbwwgxhpv7nz3pdwcjcn4kk7m3aaj6y3-
agda-2.6.0.1-guile-builder
"
],
System
"x86_64-linux",
Builder
"
/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-
guile-3.0.2
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/424zn7v1z3pbals2z03fhpp4san10q4y-
module-import
",
"
/gnu/store/zbwwgxhpv7nz3pdwcjcn4kk7m3aaj6y3-
agda-2.6.0.1-guile-builder
"
],[
Environment variables
("GUILE_LOAD_COMPILED_PATH","
/gnu/store/kfafvfsn2sbypj3smzn2z5a7pijbxnb9-
module-import-compiled
")
("out","
/gnu/store/71bz7nd33anac70csdck2c9mjab8kkp9-
agda-2.6.0.1
")
]
)