/gnu/store/6s7hrd0pz9rni17c31wwhyicmbw44898-agda-2.6.0.1.drv

Inputs

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

Derivation details

Builder/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile
Systemx86_64-linux

Build status

Unknown