/gnu/store/wxg0kkdz4hw1b4ir9wkgdzq5hi6w155p-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/vsa4nsfdwj0c0ihsa9rixddjrvvb29lr-
agda-2.6.0.1
","","#f")
],[
Inputs
("
/gnu/store/05f7qj3sv5x3g8yzzr0a4rfi0hilbd1j-
ghc-filemanip-0.3.6.3.drv
","["out"]),
("
/gnu/store/0gqsk8vhpm60jwylgnnqfw305lb47zz1-
ghc-data-hash-0.2.0.1.drv
","["out"]),
("
/gnu/store/169y1jrdmd2flhhz79y3drxhjc17mwab-
ghc-aeson-1.4.5.0.drv
","["out"]),
("
/gnu/store/198j3sdy2gwhvqirn4b9myi14kf3jndi-
xz-5.2.4.drv
","["out"]),
("
/gnu/store/1bwmlpi0h4y4dia5jxbsia1cgpa5g7si-
bash-minimal-5.0.16.drv
","["out"]),
("
/gnu/store/1jwmmyqm5il5aaiypv2bf87x8lhqv0zl-
ghc-blaze-html-0.9.1.2.drv
","["out"]),
("
/gnu/store/34j614z9bl712j8ip15wjphz90qxn518-
ghc-regex-tdfa-1.2.3.2.drv
","["out"]),
("
/gnu/store/3pfwfmn743cbdfds2l0fk6nbbdvj19fj-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/5nkkcyzhjawx51skyz1g9xhl2ryd108w-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/6cwydy5hsckimyqnl70jn45vcbsfcp85-
ghc-geniplate-mirror-0.7.6.drv
","["out"]),
("
/gnu/store/6mm97b9bfmmd7a144c9vvjlyikr2f9di-
linux-libre-headers-5.4.20.drv
","["out"]),
("
/gnu/store/7pbbg4xiq1dxdl84lqkrah46afbybf11-
ghc-uri-encode-1.5.0.5.drv
","["out"]),
("
/gnu/store/8zq0hc3qia9d4c5m1wbld3r6fx75a59p-
glibc-2.31.drv
","["out","static"]),
("
/gnu/store/9m96favdrdb7c8lz57rrkwgpcsjbd501-
ghc-zlib-0.6.2.1.drv
","["out"]),
("
/gnu/store/bj9wcxbhadgf14zsdyqjkcxz12xdphfn-
ghc-boxes-0.1.5.drv
","["out"]),
("
/gnu/store/c4m1la9sg8x422hky3cz2azgl5197p97-
glibc-utf8-locales-2.31.drv
","["out"]),
("
/gnu/store/cc2yf026j9w4xgqh36fpcybvgbz24np9-
make-4.3.drv
","["out"]),
("
/gnu/store/cvcl8q6drkwrbgzgvch3cidjhz7aq2wn-
gcc-7.5.0.drv
","["out"]),
("
/gnu/store/dbxrl8x28dgw2xbw06hslvhcd51rb0kj-
gzip-1.10.drv
","["out"]),
("
/gnu/store/dpciyckbm5vvpcfkpg3gdmka38jm3f5s-
ghc-strict-0.3.2.drv
","["out"]),
("
/gnu/store/fr1jzxdssxpc5bisiwk12p643n2dc61s-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/frjapcmszr2spqml464xcyp21iappb0a-
guile-3.0.2.drv
","["out"]),
("
/gnu/store/gkv0jrxpgw3w3931d2kdkhl68xb1a07i-
module-import-compiled.drv
","["out"]),
("
/gnu/store/h98psfjhz52956ihhcv0ryd3ds5sqknb-
file-5.38.drv
","["out"]),
("
/gnu/store/idqp1q6x81zljbxg3dvy0y895a9pm0yg-
ghc-happy-1.19.12.drv
","["out"]),
("
/gnu/store/k0y4znwhjrcm13189pfym2yc60rd82ik-
ghc-alex-3.2.4.drv
","["out"]),
("
/gnu/store/k6468i0hax9xm24rk3zjqxmgsmwazzz9-
ghc-equivalence-0.3.5.drv
","["out"]),
("
/gnu/store/kdiyhg2iiv8y0rrilfdvjy9v39r2n6q4-
grep-3.4.drv
","["out"]),
("
/gnu/store/l2nwvbkq66bl3r5qimhhcm1mcrp0z2k6-
ghc-gitrev-1.3.1.drv
","["out"]),
("
/gnu/store/l345jmkbrzv1cvx5ibzrbsiic4dkx1zp-
ghc-edisoncore-1.3.2.1.drv
","["out"]),
("
/gnu/store/lyvi7db06f2m1qk3aq2qsxhv6swmhin9-
diffutils-3.7.drv
","["out"]),
("
/gnu/store/mfbj0a67h6s8w47lfbmfgkhi5b7xjaij-
ghc-exceptions-0.10.3.drv
","["out"]),
("
/gnu/store/mj04f9ff0ps875pm9ir9s3fwyvwi8x9v-
ghc-edit-distance-0.2.2.1.drv
","["out"]),
("
/gnu/store/my361drgn79yhisvary2dmcic3dccqav-
ghc-8.6.5.drv
","["out"]),
("
/gnu/store/naq1nsz242z22ax3di1n4x2mvqi5c08k-
gawk-5.0.1.drv
","["out"]),
("
/gnu/store/nrdngqd9x5vbiabkklbqdwq6vvdrgnrr-
findutils-4.7.0.drv
","["out"]),
("
/gnu/store/nrxp7jwynsx4px1brrz23fsxpc6hnrvn-
binutils-2.34.drv
","["out"]),
("
/gnu/store/p1xf88kql1qrfn737ajxp2rmwrwbyiz6-
ghc-hashtables-1.2.3.4.drv
","["out"]),
("
/gnu/store/qrcixzw9pbw9jjp23bk75wn7g4jci49z-
ghc-hashable-1.2.7.0.drv
","["out"]),
("
/gnu/store/rzfwm0bjxrdyjkfv6w1a4r6w855rswap-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/s3r1x7h9wifvppf78m8vbgk2nphnblm2-
tar-1.32.drv
","["out"]),
("
/gnu/store/vcw5z1bspbxi8bnawfdzaynb4camnf6m-
ghc-unordered-containers-0.2.10.0.drv
","["out"]),
("
/gnu/store/x17gbkzg3822chkw5a70bri02gy3nfca-
sed-4.8.drv
","["out"]),
("
/gnu/store/ysh75w3c0zzfyc4kgxw2d2kk29r9a620-
ghc-ieee754-0.8.0.drv
","["out"]),
("
/gnu/store/yyzyqwmpgavq8194xmfikryi38q6finj-
ghc-async-2.2.2.drv
","["out"]),
("
/gnu/store/z791wn0i1pxdkmppmsi373j7wmv38d27-
ghc-murmur-hash-0.1.0.9.drv
","["out"]),
("
/gnu/store/z9djacrv8xmygfa7cd3igyw285ybbb9s-
Agda-2.6.0.1.tar.gz.drv
","["out"])
],[
Sources
"
/gnu/store/424zn7v1z3pbals2z03fhpp4san10q4y-
module-import
",
"
/gnu/store/m8qyhv78wjykvp6h01cjn7lh1imp2ap9-
agda-2.6.0.1-guile-builder
"
],
System
"armhf-linux",
Builder
"
/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-
guile-3.0.2
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/424zn7v1z3pbals2z03fhpp4san10q4y-
module-import
",
"
/gnu/store/m8qyhv78wjykvp6h01cjn7lh1imp2ap9-
agda-2.6.0.1-guile-builder
"
],[
Environment variables
("GUILE_LOAD_COMPILED_PATH","
/gnu/store/3zxwiql1s9wvbzb8h5c404sgw6m3l3c2-
module-import-compiled
")
("out","
/gnu/store/vsa4nsfdwj0c0ihsa9rixddjrvvb29lr-
agda-2.6.0.1
")
]
)