/gnu/store/hx4llg1zfr3wjwz4vy6hqqcq0q22zv1g-agda-2.6.0.1.drv

Inputs

File name
/gnu/store/0inxn43x3ca9a22hdyx663ipf7vjbl78-ld-wrapper-0.drv
/gnu/store/0qr5i1apppgsrzns6ssihsjcwpwvra5y-ghc-strict-0.3.2.drv
/gnu/store/0zhsyswxmp50wp3zdk95s6xv4gg4cmz2-ghc-exceptions-0.10.3.drv
/gnu/store/1jp3j90sk9i8swi7kab1kqlikiiwcbzg-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/3giw19y1kd9vfn1a5zaxzyblbqppalm3-ghc-hashtables-1.2.3.4.drv
/gnu/store/4b2l28zixdlygyh6yqqrfj7hjj3yvrdd-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/5igqiivk4wgvmw8vfn6yv0kvp2wmn4s8-ghc-uri-encode-1.5.0.5.drv
/gnu/store/6i1ii9bq4hbi847kv626ys0n95hnyh10-sed-4.8.drv
/gnu/store/6x0wzdffbxps8gr91pshi1g3wjxghji7-ghc-boxes-0.1.5.drv
/gnu/store/7zf76cgpng1vv7s9jjjn07r5am3pnwdn-ghc-alex-3.2.4.drv
/gnu/store/8npba0p02ha5gi1f18ary17g24kfwd3j-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/910ksvv8vjidyx58g67wp9ls6595yba3-diffutils-3.7.drv
/gnu/store/9i06gfzysdldy50qynhxa5vvqsh6fwhk-make-4.3.drv
/gnu/store/adchx95vspav4wlbfbwzzk6cbhil7g6k-module-import-compiled.drv
/gnu/store/ah6slan2f1dqkiym25j9ylclgspi01m3-ghc-ieee754-0.8.0.drv
/gnu/store/aqvl0azc490lrkgc78xcmflz0h2gpamy-ghc-edisoncore-1.3.2.1.drv
/gnu/store/d37h3bhds861qnbg6lw910x9vfbd2m9f-ghc-hashable-1.2.7.0.drv
/gnu/store/d3kpbps11i2k8f2qgr9rwrafrjbfmv28-findutils-4.7.0.drv
/gnu/store/f6l3qdyazb438cfwn9bfk4z2fwm762hm-ghc-blaze-html-0.9.1.2.drv
/gnu/store/fbal6g0d1pyzrh3zbrqzmiaavzk9ra1b-Agda-2.6.0.1.tar.gz.drv
/gnu/store/fl42gmplbqyyylrpgrl7nih8w6wkcd11-gawk-5.0.1.drv
/gnu/store/fr37y3kwp0wlcl3pnnxix9wgwllmzw2b-file-5.38.drv
/gnu/store/framy1df0cssx4lhd99zh5wwwfk6nl9m-gzip-1.10.drv
/gnu/store/fsv8qb1qp297n0ix8hrnhz6lly695h82-ghc-async-2.2.2.drv
/gnu/store/g4g568h5bfgx87naxbm851q15xj941jy-guile-3.0.2.drv
/gnu/store/g6cwr64qn5m65vf01d7i06gnyvrxzmzi-glibc-2.31.drv
/gnu/store/ga80gw1a3aga0mpfi1jrq7zchg4fixns-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/h9v1pbvvfp0fcaiq705x5jvjp0pqsf9m-ghc-zlib-0.6.2.1.drv
/gnu/store/hswqa8rxalpx1f58ps7kl29cnr02n8zi-tar-1.32.drv
/gnu/store/i6q7xc97knvg3lknhifgzdlp6rfzdf80-grep-3.4.drv
/gnu/store/kpxmksrdp8kwbrsax5lsw77y06blxx29-binutils-2.34.drv
/gnu/store/kxinvpjnjg42d32r3zxrdx39djfshg26-ghc-aeson-1.4.5.0.drv
/gnu/store/ld1yrz54knirgh4pv5bgls777cqsg2jx-xz-5.2.4.drv
/gnu/store/llkcqy8hlqw44zd84zqqxvxxhx5n5kk2-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/m72qz087kdwxlblh52apy6n1rh1hsd1r-ghc-gitrev-1.3.1.drv
/gnu/store/m7zcl2z63z1lrxvbrcjlypdxngcmw3n2-coreutils-8.32.drv
/gnu/store/n0qiysrkfwx0v1q6fqcxq0rmy5a5ahzn-bzip2-1.0.8.drv
/gnu/store/n4aswrpknmpgkgxbh09kkqdax1apj9cg-ghc-filemanip-0.3.6.3.drv
/gnu/store/p8q401qvmbxarzxd1rfyfdyfabrw89c4-ghc-data-hash-0.2.0.1.drv
/gnu/store/q4lzl5wkakpjvlmw6isr5yyblfrgl8mw-ghc-8.6.5.drv
/gnu/store/q8bvxw9vji6zzkzy9m2kj8x70fiy1f9q-patch-2.7.6.drv
/gnu/store/q96qmj35v00c9hqzcr2hvd28icnbza4q-ghc-edit-distance-0.2.2.1.drv
/gnu/store/s5w98nglk7w7mp6yhf4dzaa461jjxzl4-ghc-equivalence-0.3.5.drv
/gnu/store/vrigrhigg0qnyvi684vg7k2p009mazx7-ghc-happy-1.19.12.drv
/gnu/store/wi3yvnjfk6js253qa4d5f0vhgf4wz8vv-bash-minimal-5.0.16.drv
/gnu/store/yasy9xa9wrw43byl33l7c8zgjzvbz7hx-gcc-7.5.0.drv
/gnu/store/zvk0rdw28kzq424n6v4pd96nw3n7cmr1-glibc-utf8-locales-2.31.drv

Derivation details

Builder/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile
Systemi586-gnu

Build status

Unknown