/gnu/store/2qxyaw0yj6vin0d3zh1qhywla753d7jc-agda-2.6.0.1.drv

Inputs

File name
/gnu/store/0s41dwq08x878q8l9wjfqva4pi10p5sd-glibc-utf8-locales-2.29.drv
/gnu/store/11c5arvny888aaxf5lv9n3754q592z92-bash-minimal-5.0.7.drv
/gnu/store/173sycsdkf3ls69x6rnywf6d9xvc2c3g-ghc-ieee754-0.8.0.drv
/gnu/store/1ayiw592v5r5i957053dp94sdnk5vppv-binutils-2.32.drv
/gnu/store/2ipn9g0qarfk7hr4mj93vxp8pwam2dhx-patch-2.7.6.drv
/gnu/store/2w2hblg5b45h2pqschxdvbjgkny9x55n-ghc-zlib-0.6.2.1.drv
/gnu/store/3wm8ya2y2v7g59zrwyqi71jngw4sz1v4-ghc-exceptions-0.10.3.drv
/gnu/store/3x27grl9sz0cf51vyrj4b2jcw4f5xhj1-make-4.2.1.drv
/gnu/store/4wdxkqws4qwzwpiad7j6x47vl8h1jw4l-gcc-7.4.0.drv
/gnu/store/52fgpk7bvv44w4cfhq9aqj4zmh39vpv3-ghc-happy-1.19.12.drv
/gnu/store/5j4bk9vwg1r3l39sm7ivqdlygvxgj0ci-coreutils-8.31.drv
/gnu/store/5l6d30vrsm745rdbhhlhpm6qana44bza-findutils-4.6.0.drv
/gnu/store/5q62hkgp6wnn2xw0i4fb144mmqxlq1iw-gawk-5.0.1.drv
/gnu/store/632z5kflx5qay18vnijxc23s8cj0k92k-sed-4.7.drv
/gnu/store/6b67s8flrnckyrsql0d5zpr48laf5902-ghc-hashtables-1.2.3.4.drv
/gnu/store/6b69c9pgbmnaip18jwpii7n8bbywxjw2-ghc-edisoncore-1.3.2.1.drv
/gnu/store/7c0mw1lyqw26vs58q8rj7bsffjgaw1fl-diffutils-3.7.drv
/gnu/store/7wdayggjynffps7ixla3cq707frmkk6g-ghc-blaze-html-0.9.1.2.drv
/gnu/store/8mxdksrj2icwcka2h2ak53pxl742hi1h-file-5.33.drv
/gnu/store/a9vqbj9sq8ziqzivam34jxxayyw7yzj6-ghc-filemanip-0.3.6.3.drv
/gnu/store/agmc89a37sx9v8zqlci3x0aa7pczaxkv-ghc-uri-encode-1.5.0.5.drv
/gnu/store/al87mvps0h21h3i3ja0c8n5452597l7d-grep-3.3.drv
/gnu/store/bz1r7sqvs8z4sp0hnwllbl0m6bj43wsx-module-import-compiled.drv
/gnu/store/d3mbpipr636fbr7gda2i8fmac6gln79w-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/fmhfm4gv432zlc3sjp9j71jhqsmkqsjh-xz-5.2.4.drv
/gnu/store/h02k18w117c4fkmj525lppzknmxhzg6c-tar-1.32.drv
/gnu/store/hdpj1i5sax89z15r398167xnhg67scr9-ghc-boxes-0.1.5.drv
/gnu/store/i1xmgak1sx0zam90g2xxp0jng6nk52ci-ghc-async-2.2.2.drv
/gnu/store/j9dj4ckrcnkzp655agk2sf7ds4j7ld68-ghc-data-hash-0.2.0.1.drv
/gnu/store/k0kw7zghwmkvmqpv4lgf5i36kcm2swd5-ld-wrapper-0.drv
/gnu/store/l9rq3y1djaw6rn4816n39zxrh8q1flvk-module-import.drv
/gnu/store/mfdb3nid3qykrhmgdh9qhiqr57gjh5js-guile-2.2.6.drv
/gnu/store/n548igvxv9svrb2xfxn6dfr2fdsj2cqn-ghc-aeson-1.4.5.0.drv
/gnu/store/nkcxj5kd43yhmcq5agz55j53xrvlqlac-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/np0lrdm5sfysgp54j7bb6mnfm3r2x8l7-ghc-8.6.5.drv
/gnu/store/pi8q0cj78049vw5p7byz17rvhbg8r7ps-bzip2-1.0.6.drv
/gnu/store/pw0pncdlk0pqqnbcb1c3b924pqa4f3qx-ghc-equivalence-0.3.5.drv
/gnu/store/q4bb1d2kb8kxgj0k64f7bik0fzd8y835-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/qbcv4l557hd3hv94ail3541wd67q9i46-glibc-2.29.drv
/gnu/store/r6iixxfchqphpqazkv4qjddqff4z8bwr-gzip-1.10.drv
/gnu/store/sackvw40693fwcrrzixynnxdampp7vs7-ghc-hashable-1.2.7.0.drv
/gnu/store/sjq2bqvrqjaaw827vfvpr4c8y37f6i79-Agda-2.6.0.1.tar.gz.drv
/gnu/store/srh2wmw7v5yl9bd6g3wl1rzvkr5b8rqa-ghc-strict-0.3.2.drv
/gnu/store/vj8hg7zly22xgs9p7zfkda028crdrrpf-ghc-edit-distance-0.2.2.1.drv
/gnu/store/vmyzdnnll89x5yinh0mzgyqrzpl46q8m-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/vq5qi2gzn66car7r44lp3mpd760gdwa6-ghc-alex-3.2.4.drv
/gnu/store/wmss33cdrnf6fc8iadx3ip0dyjx5mic4-ghc-gitrev-1.3.1.drv
/gnu/store/y4w1pqblvdfhnsvhzzmk8r0h6spmrcmz-linux-libre-headers-4.19.56.drv

Derivation details

Builder/gnu/store/sc7z07gim1iq5zvfz1amdwf2irxrzifg-guile-2.2.6/bin/guile
Systemx86_64-linux

Build status

Unknown