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

Inputs

File name
/gnu/store/01jablh8a82n9178f6h74fipa8l6ljk5-ghc-8.6.5.drv
/gnu/store/08ygwyq8zaa7ar8zanrivi9dixzkgcx5-grep-3.3.drv
/gnu/store/1919am1cqx1qbc0y68c499wkffmdal9g-gcc-7.4.0.drv
/gnu/store/2mm6winnig97d9325hrggwc7hbm0iiii-glibc-utf8-locales-2.29.drv
/gnu/store/2nfkkh4kw6gsdvbcv579l53x5l1azbk5-ghc-uri-encode-1.5.0.5.drv
/gnu/store/2vcr1pcfqwcjfk9yzin080vqi9xyg1s1-Agda-2.6.0.1.tar.gz.drv
/gnu/store/35nvbhj2kmqnknnqrvdl3gc8kw6abnfi-ghc-hashable-1.2.7.0.drv
/gnu/store/4a2jh301cnhxgi68l6sf9p0shh2wza62-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/4kwwfs95x1i8lph8ya1ryh9pras7x2pz-gzip-1.10.drv
/gnu/store/81z4phfx8wbb9kl42x623s7rb41mvg67-bzip2-1.0.6.drv
/gnu/store/8yqmsdiqyzbcbpirk0frlsl58ivdkdlc-make-4.2.1.drv
/gnu/store/92dy7sxgw56nvnr9dpz6mivvclz1kql5-xz-5.2.4.drv
/gnu/store/97zs01nvxws91cr3gaqaxlrnbamh4bcb-ghc-gitrev-1.3.1.drv
/gnu/store/bwrhlqh6ga34830bwag62n2r6x2c71yd-file-5.33.drv
/gnu/store/c84cns6qgrkd7502k12kxadmr2dkq1ng-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/cjjkkv97mk66w8pp0hakrw1fllsj3hhl-ghc-blaze-html-0.9.1.2.drv
/gnu/store/czsdh47fwaybxyprgk3z87rbm6p08khb-ghc-filemanip-0.3.6.3.drv
/gnu/store/d2yx1bxbaqqrjsa3aszywbxpc0i90zvb-binutils-2.32.drv
/gnu/store/djxlq3ilag624v2zr8ya3zivwcrpiji7-linux-libre-headers-4.19.56.drv
/gnu/store/drsw7wpx93qkdffz9cjgpzlq7xgr8yxn-tar-1.32.drv
/gnu/store/gal0n620jy1iff601ykafp60niq8xr0d-module-import.drv
/gnu/store/gchaky6fdf7n2dy4bxkkxy5qw20hmhbc-guile-2.2.6.drv
/gnu/store/h11jxyh0n8ynzkig24gkrbwmny683ykx-diffutils-3.7.drv
/gnu/store/h2cllrxr6b8zkab9imjcp3ar6ncm3611-ghc-ieee754-0.8.0.drv
/gnu/store/i7zzkyz0d9fa34w682lfjqby940chcb5-patch-2.7.6.drv
/gnu/store/ip5bzn5x7jahqh0117mcsggz36kplqg6-ghc-aeson-1.4.5.0.drv
/gnu/store/kgp7dysj0fcn2kar55g6m3q67pgjxvwq-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/lfzijba2pkq4vykkw9v35zh63n8bqs3l-ghc-data-hash-0.2.0.1.drv
/gnu/store/lkpn1bh4mxn2r69v4ilzngi8w8c84sc5-ghc-happy-1.19.12.drv
/gnu/store/m2c49751nx48i9msg8786yxqy2yfgrx0-coreutils-8.31.drv
/gnu/store/mgrixjmxy2507sivq773nb5n4vxbz24j-sed-4.7.drv
/gnu/store/mnpnlh19qgcgwj1bp219lyy7kigbnlmn-ghc-hashtables-1.2.3.4.drv
/gnu/store/ncs92k43ahgcf7kvpiym9shvkndbp7ym-findutils-4.6.0.drv
/gnu/store/ngqwan7als9qkylfmyiz7wwayf9rl2qg-module-import-compiled.drv
/gnu/store/nk9sy1qj6pvfljjnsw4wp8kdksqnrhjj-ghc-boxes-0.1.5.drv
/gnu/store/nzg6q4ax7h5lp5gs32iz2wf3462ibnm1-ghc-strict-0.3.2.drv
/gnu/store/phcav06kbssjpb76cpm41cmp908cp2zj-ghc-edisoncore-1.3.2.1.drv
/gnu/store/phsimniilqah0vjxvbyp18yj7vwi1qaz-ld-wrapper-0.drv
/gnu/store/ps3m20wyxy6bqf2x962fbpgwqpzdajsj-ghc-edit-distance-0.2.2.1.drv
/gnu/store/qgc68vd6sr0p09q5djlpg45gppdd6vpi-ghc-alex-3.2.4.drv
/gnu/store/rmfsg2dsb88b136arb40z3kgd57kcnzs-glibc-2.29.drv
/gnu/store/sf8c1b3xfdql9ba78mzcdsyd6fvba9ag-ghc-exceptions-0.10.3.drv
/gnu/store/svg8cvzwdfp84pa6h508f0c51gk34qzy-ghc-equivalence-0.3.5.drv
/gnu/store/w4qlvkllb16azhl8r1y7v6vybzj6z8vm-ghc-zlib-0.6.2.1.drv
/gnu/store/wys7xrlqvhaakxlgsna8dnbnnd12j65p-bash-minimal-5.0.7.drv
/gnu/store/z02a27xlpzaciv5ihidgx1lr79pzj54s-gawk-5.0.1.drv
/gnu/store/zbifd3jqawpwb6pnbxwrdcri651xkbms-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/zg8b02faxpjqrb8d450d4zjcfg7lgis2-ghc-async-2.2.2.drv

Derivation details

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

Build status

Unknown