/gnu/store/53s623f1r9gw1av6zlvvi329vncwwn40-agda-2.5.4.2.drv

Inputs

File name
/gnu/store/06bihm6f1qbjyjk1f1xzv5qip45bv0i6-xz-5.2.4.drv
/gnu/store/16f0g9i0dbvzj6gfzcws8lcwybh3p1z3-ghc-equivalence-0.3.2.drv
/gnu/store/1z17rnmla36n4yk41b2rn10m1b42bggm-glibc-2.28.drv
/gnu/store/2v8kgryj855mms3l31wfdpkmsd6bipic-patch-2.7.6.drv
/gnu/store/555100zal1bhsdqkaax0fpm0z9xr2apn-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/559cgmsfx7gikxz3xmslx4kd9mrdn9da-ghc-blaze-html-0.9.1.1.drv
/gnu/store/68pzzxg87iaya06r80g68kp37aih6iyh-ghc-happy-1.19.9.drv
/gnu/store/6lwnqmbp4hk66j7hza945rf92fpkf455-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/6rn47an152g40y27gqc2af3z2vw31x03-module-import.drv
/gnu/store/7i3xx4a6va6jrni9drnp532ikng2gfrg-gawk-4.2.1.drv
/gnu/store/8mrxhs323iiw3i80588gc1rbkv04xxxv-ghc-filemanip-0.3.6.3.drv
/gnu/store/8rxq5v3xr28qw1s2qmlqk839pj63j0ml-file-5.33.drv
/gnu/store/92lfz7iyvkzaqlw779qb5ilwlzfgbzsb-ghc-8.4.3.drv
/gnu/store/9q28y5ky355gjy6kgdyc4a8wsjmli0cc-ghc-zlib-0.6.2.drv
/gnu/store/a585vr7nram2kwch4n1pni420g7sqrd4-ld-wrapper-0.drv
/gnu/store/aczncaa57d2jd3ggr87367ngspzhs17l-make-4.2.1.drv
/gnu/store/fj33xxq624f5dyxy1cggz2vfwkhi9d0c-ghc-parallel-3.2.2.0.drv
/gnu/store/fk6b13h4a300pqncdv3w2xv964whgi8r-ghc-strict-0.3.2.drv
/gnu/store/g4msnvgkkx54adnjsy2yaapwm47w4jlj-Agda-2.5.4.2.tar.gz.drv
/gnu/store/h7dj6n05vrc90j0i86rfkyjh36ckzz6a-ghc-hashtables-1.2.3.1.drv
/gnu/store/iafmpijn31vd6gnimihry1c8x9v3rfg3-ghc-edit-distance-0.2.2.1.drv
/gnu/store/im50ccvcfak4fkdhjz7xbxxhv1ipnj1r-guile-2.2.4.drv
/gnu/store/j8k6i2jy5gnsckwd70zicyxzigzswqi3-sed-4.5.drv
/gnu/store/kg513j4ykkk1r0pbfladpcsh20pf9xb9-ghc-data-hash-0.2.0.1.drv
/gnu/store/n2f2nyv7gaajh2hpl6avv7zq6bggcy0s-ghc-async-2.2.1.drv
/gnu/store/ngcd921kvw3f5nymvap1rmr1izvz6m0s-findutils-4.6.0.drv
/gnu/store/pg0fs599l7qiy11v73dijsvj37cnsl44-ghc-boxes-0.1.5.drv
/gnu/store/pxvn1ibpc7ayhzj5myk8x2aqgdfhdsf6-ghc-alex-3.2.4.drv
/gnu/store/q4p1jh8d1fpl0qd524hhhamfhkxdknr1-grep-3.1.drv
/gnu/store/qd0hci4ynr1iy8gbm39ldns6wxkz7pz5-gzip-1.9.drv
/gnu/store/qgbqzkxbrgkh4jnj4nya1anyivf9spi3-ghc-gitrev-1.3.1.drv
/gnu/store/qgfi6pkv78mj8h2aw7ifmaa2zdvr01qb-ghc-unordered-containers-0.2.9.0.drv
/gnu/store/qibsafmd1pglgws6rqzjc1ilm13kjk7r-ghc-edisoncore-1.3.2.1.drv
/gnu/store/r4ljx980rldcm01936cymbgcf8f39pkq-binutils-2.31.1.drv
/gnu/store/r4pb8zrvlmvv4msa4pv23nq94q1hyln5-diffutils-3.6.drv
/gnu/store/sh5fs66jzfc2d7qw654xyw59cinzrici-glibc-utf8-locales-2.28.drv
/gnu/store/ss63232mbc8pc2a4zrk6p6587ljn8nm0-coreutils-8.30.drv
/gnu/store/sx7jq0szg8kvrdg8by7q82xbzjf1g9z5-ghc-regex-tdfa-1.2.3.1.drv
/gnu/store/v70f7009jpvwfg3fi8ycgcjy8cmgm7dk-ghc-hashable-1.2.7.0.drv
/gnu/store/v9x99iamwqz00i0v0pj6j93wk5akj6j1-linux-libre-headers-4.14.67.drv
/gnu/store/w0dvzzsx2yd7cm0213d3rfz606aj5wbf-tar-1.30.drv
/gnu/store/x867cdfndad7f10fwlz09wgyilg6hy5k-ghc-uri-encode-1.5.0.5.drv
/gnu/store/y0j8kjdfdp9nkz0r3vbny1w6v4gjl3mf-ghc-ieee754-0.8.0.drv
/gnu/store/ycdmvz8s32j44dpi260snrzsly6sj83f-gcc-5.5.0.drv
/gnu/store/z0igfmpf7z8plplwv1xnsbp16mnik9gc-module-import-compiled.drv
/gnu/store/z3y46l5h2379qp26yk3z5jiga9pn6bsw-bzip2-1.0.6.drv
/gnu/store/zcb6d9ig1a4gri6hizb2bj58c612mm3g-bash-minimal-4.4.23.drv

Derivation details

Builder/gnu/store/jv6bvbw00qmhjx4asvhjs5w5nwi2y9lg-guile-2.2.4/bin/guile
Systemi686-linux

Build status

Unknown