/gnu/store/53s623f1r9gw1av6zlvvi329vncwwn40-
agda-2.5.4.2.drv
Detail view
Formatted view
Plain view
View JSON
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
System
i686-linux
Build status
Unknown
Outputs
File name
/gnu/store/7qm8q6np2nvh5dfld6znj5ws2zc4bm30-
agda-2.5.4.2