/gnu/store/z0lkq3vmc0hn7kjmchm8mrxfkf16i9s1-agda-2.5.4.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0q8i8jh9j4dhna8njappi26bafih1x3k-ghc-hashtables-1.2.3.1.drv
/gnu/store/1d2dyvc842w2pzb16vbvf8xbjc2ip53i-ghc-strict-0.3.2.drv
/gnu/store/2ijdlar19hvzymga91xj9ldzpxfjdby9-ghc-filemanip-0.3.6.3.drv
/gnu/store/32n65vbwz439py8fqr3rnrpg5afgbdn4-ghc-ieee754-0.8.0.drv
/gnu/store/3jq50z4zyz0c4dacpz7js9gw8bay237x-ghc-8.4.3.drv
/gnu/store/3mir76kgfch04pyjir89rqkdcma4qmga-ghc-data-hash-0.2.0.1.drv
/gnu/store/4dzifv30cckp5kg6j7xrl6pgd92vnkhm-ghc-equivalence-0.3.2.drv
/gnu/store/6vq0irscy0fns4gbw3gmn2pyjfgcxd2v-gcc-5.5.0.drv
/gnu/store/8gcjk78360ix48i0p25ix15c1gcbzcm6-ghc-alex-3.2.4.drv
/gnu/store/8j86id0vayq7vzw6iysmvg9psnypala4-findutils-4.6.0.drv
/gnu/store/aa0jsmr3hpsld84vzcmk4gvimixa7mjv-grep-3.1.drv
/gnu/store/adni03a2g4lsj5s4jssxj7vl3qkzbkf2-binutils-2.31.1.drv
/gnu/store/ak2j805ihl4cplxn206zq4alhqss44sf-ghc-edisoncore-1.3.2.1.drv
/gnu/store/b1vb730i81c4q9gbmfrm56zr3wcp3lwi-ghc-unordered-containers-0.2.9.0.drv
/gnu/store/b49n81j7iyniv2fb7xl9hm8zr2vss1lk-ghc-text-1.2.3.0.drv
/gnu/store/b848sk21h2lgfb3s3s9n969ak3d28w39-ghc-happy-1.19.9.drv
/gnu/store/bcw1zpfkvpy3ya7mpr8n4qxx45dyjhv3-patch-2.7.6.drv
/gnu/store/bf8xgzfjqd2ivyxpdr9fj38jx02djs0g-ghc-boxes-0.1.5.drv
/gnu/store/bi1455xzj7gxs9b1ww9w77yk88gqzips-tar-1.30.drv
/gnu/store/bj9z40dxjxmf3r643yy2lxvxhgrnnrqb-ghc-zlib-0.6.2.drv
/gnu/store/c4sy40ld8fy2j1agkjx7grjih6i0irrl-coreutils-8.30.drv
/gnu/store/chiznnzbg3xsv3qv5cxkslqs4z4q9ddz-Agda-2.5.4.1.tar.gz.drv
/gnu/store/cnvz9iiwyjh3n0iwc01dqq7xm977blvc-ghc-stm-2.4.5.0.drv
/gnu/store/d18psm6dkvzj88sfzgaapj0nxzj75390-ghc-parallel-3.2.2.0.drv
/gnu/store/dc89m2iwqwimvik36n3n4ccp66b3qc9x-glibc-2.28.drv
/gnu/store/f9rhc9as9zr3r8nfgsgy7ldh9d69by7g-ghc-blaze-html-0.9.1.1.drv
/gnu/store/fwj45s1s51vcyz050cyyynbi7df9kqfz-file-5.33.drv
/gnu/store/hkcrlsi0s47qnxzyqi689v0b5qnwqbkr-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/i1dbpcygycfwgklbr809g7c16m19c0c5-diffutils-3.6.drv
/gnu/store/i8w6wis8qszm62xk7j6x0a47x3dk3w9r-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/j5yq674rkfqqv56kbl10f3w74d3cv6sf-glibc-utf8-locales-2.28.drv
/gnu/store/kppr9r2irbzmgc4i5smfj6pwgfvsf9ca-linux-libre-headers-4.14.67.drv
/gnu/store/mgx6izhfj91zvv3jdp446lg8ggj0pnfb-guile-2.2.4.drv
/gnu/store/mxvjpi7hf791rrbkwix3malxixvicyv9-ghc-uri-encode-1.5.0.5.drv
/gnu/store/mzj57jhr1g7d17qsv9y9mrgwylpirjbs-gzip-1.9.drv
/gnu/store/npfcv8lwj16xz8w5dlrk5sikvhhmafji-ghc-hashable-1.2.7.0.drv
/gnu/store/pff2w7apyljvf56c2zld3qcl2gi7mcif-cpphs-1.20.8.drv
/gnu/store/pgv52js4kh791gc5n4yf5wq82q870iqr-gawk-4.2.1.drv
/gnu/store/pjzim7z88gzdki7dicxa9nfihgg749sd-bash-minimal-4.4.23.drv
/gnu/store/ps4b2fx8kkshihwrky5fyqhmshzqib9b-ghc-async-2.2.1.drv
/gnu/store/rk6wi68rvqqwibfnnm6i8aak3fa75375-ld-wrapper-0.drv
/gnu/store/s7lq52k2sbsjz1x9mif798sdp0s1r5s0-ghc-edit-distance-0.2.2.1.drv
/gnu/store/sc1x7w8mpdzvm56najq7f2r4pzb5brwb-ghc-regex-tdfa-1.2.3.1.drv
/gnu/store/ssikadxr15qhwz95bp6yx3c4cj7vqi51-ghc-gitrev-1.3.1.drv
/gnu/store/wgwdg7dcr2dl71bnbvg7k9ff7rz81q90-sed-4.5.drv
/gnu/store/wi55icm6ggybgmqf3l7pzc64nal6fgmd-bzip2-1.0.6.drv
/gnu/store/wywqgpy3n4mv6ykgg49fa1jvprfc1czj-module-import.drv
/gnu/store/x94i0skrvv6zxdpas09gh4bl1il5di92-make-4.2.1.drv
/gnu/store/xg9v0hvd96zs8nwziki89yz613d88xvc-xz-5.2.4.drv
/gnu/store/zbdjwk2z4ammx5qfl2f1s1ww1j61fj7s-module-import-compiled.drv

Derivation details

Builder/gnu/store/jxx6v3ng1mvbhdlqbbr8xahs5rgadd02-guile-2.2.4/bin/guile
Systemaarch64-linux

Build status

Scheduled
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/7wjs7lczxwnpd9802yyhdadjm7wyi9p8-agda-2.5.4.1