/gnu/store/khb4z6jh7z4ff97z7n7wk1i39q6hm1v7-agda-2.5.4.2.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/066nrpn82srd1y6l0d9vwaplkj121ll3-ghc-boxes-0.1.5.drv
/gnu/store/08ygwyq8zaa7ar8zanrivi9dixzkgcx5-grep-3.3.drv
/gnu/store/0b6248f8hqh7jak0h2d17mv64rgy7w8n-ghc-uri-encode-1.5.0.5.drv
/gnu/store/1919am1cqx1qbc0y68c499wkffmdal9g-gcc-7.4.0.drv
/gnu/store/2mm6winnig97d9325hrggwc7hbm0iiii-glibc-utf8-locales-2.29.drv
/gnu/store/2q6ycsdp43pmgsc1h52m4mq1sx08xjj0-ghc-regex-tdfa-1.2.3.1.drv
/gnu/store/3n2830wllyjj7alg6jm6r3jqn1fh041q-ghc-ieee754-0.8.0.drv
/gnu/store/48zqww0mv2xn3igjc2s2q1wra4pm3nwf-ghc-data-hash-0.2.0.1.drv
/gnu/store/4kwwfs95x1i8lph8ya1ryh9pras7x2pz-gzip-1.10.drv
/gnu/store/5gcp40ab038lf1h3mhzf1qdflk47flfr-ghc-8.4.3.drv
/gnu/store/81z4phfx8wbb9kl42x623s7rb41mvg67-bzip2-1.0.6.drv
/gnu/store/8yqmsdiqyzbcbpirk0frlsl58ivdkdlc-make-4.2.1.drv
/gnu/store/910nwv7ds1kw4jcvgspjy9r4d2qqw49i-ghc-async-2.2.1.drv
/gnu/store/92dy7sxgw56nvnr9dpz6mivvclz1kql5-xz-5.2.4.drv
/gnu/store/a7sswyvrn77993adayp2h6sm3b081waj-Agda-2.5.4.2.tar.gz.drv
/gnu/store/b6y1kq44d65mc6bc6vk9zdk1g4ia36g5-ghc-equivalence-0.3.2.drv
/gnu/store/bwrhlqh6ga34830bwag62n2r6x2c71yd-file-5.33.drv
/gnu/store/bxa7xkd021xi1z7qj9viwcriq1g9b8s3-ghc-blaze-html-0.9.1.1.drv
/gnu/store/c9mx5yql8y0wd75fxx8hh04mx7hfs7qd-ghc-gitrev-1.3.1.drv
/gnu/store/cpxa0yr64wxhi4y3mc0fjbkv47s96ba9-ghc-zlib-0.6.2.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/dvf0w5ik5m49dxyak76hlx9cirfban14-ghc-edit-distance-0.2.2.1.drv
/gnu/store/gal0n620jy1iff601ykafp60niq8xr0d-module-import.drv
/gnu/store/gchaky6fdf7n2dy4bxkkxy5qw20hmhbc-guile-2.2.6.drv
/gnu/store/h11jxyh0n8ynzkig24gkrbwmny683ykx-diffutils-3.7.drv
/gnu/store/hjx3y7b0xwfdbshmayjjllz1pgdm5mk7-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/hsqrry7cg47cl7y13j7inx7w26dcyyjl-ghc-edisoncore-1.3.2.1.drv
/gnu/store/i7zzkyz0d9fa34w682lfjqby940chcb5-patch-2.7.6.drv
/gnu/store/iy2jiigk510gjv4zl5fd4qjpfjhqs88x-ghc-unordered-containers-0.2.9.0.drv
/gnu/store/m2c49751nx48i9msg8786yxqy2yfgrx0-coreutils-8.31.drv
/gnu/store/mgrixjmxy2507sivq773nb5n4vxbz24j-sed-4.7.drv
/gnu/store/ncs92k43ahgcf7kvpiym9shvkndbp7ym-findutils-4.6.0.drv
/gnu/store/ngqwan7als9qkylfmyiz7wwayf9rl2qg-module-import-compiled.drv
/gnu/store/phsimniilqah0vjxvbyp18yj7vwi1qaz-ld-wrapper-0.drv
/gnu/store/qdxfqzsz7a0ghj4q72p5zbdxzk0j7500-ghc-hashable-1.2.7.0.drv
/gnu/store/r6gylx13sy09ikix3ga20p1fmxmms3ky-ghc-strict-0.3.2.drv
/gnu/store/r6rqka64wg2x7qnrx7ziqjkpfz4zdhnj-ghc-happy-1.19.9.drv
/gnu/store/r9mwjv3w264v8w4y713kdjwj3c5zxgqd-ghc-parallel-3.2.2.0.drv
/gnu/store/rmfsg2dsb88b136arb40z3kgd57kcnzs-glibc-2.29.drv
/gnu/store/s516l6spafbq69yzzrfv7q6kcvjr8lxc-ghc-hashtables-1.2.3.1.drv
/gnu/store/wys7xrlqvhaakxlgsna8dnbnnd12j65p-bash-minimal-5.0.7.drv
/gnu/store/z02a27xlpzaciv5ihidgx1lr79pzj54s-gawk-5.0.1.drv
/gnu/store/z859yk1wng7x48bncm9fjcxgvdxbkbp4-ghc-filemanip-0.3.6.3.drv
/gnu/store/zh29hkbbk3c9ggwiag6d25l4rkxb0059-ghc-alex-3.2.4.drv
/gnu/store/zxjw04m87phdxi7mk81mybw4fcsh5xyv-ghc-murmur-hash-0.1.0.9.drv

Derivation details

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

Build status

Unknown

Outputs

File name
/gnu/store/mbyi8q5gaj131ama1pdhk23hknr9jcz1-agda-2.5.4.2