/gnu/store/w9l51hwfvvlrm47fvmml2rj0s9mf7jzh-agda-2.6.2.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/2yvsiw3p7rmadzgppd8k57qx1y9dypc4-guile-3.0.2.drv
/gnu/store/41zlpxy167mr5fawr3jpmkcdbxi2hl53-grep-3.4.drv
/gnu/store/471aq2b9sf8hpf9n3d5gxs8sh0rh5bjy-ghc-split-0.2.3.4.drv
/gnu/store/5cnfra36whbjj2sc4283ydfcsddd12ky-bash-minimal-5.0.16.drv
/gnu/store/5g9q3gzp87490gpi9x89d18cn0hkkmn9-patch-2.7.6.drv
/gnu/store/61yahw7nn5zlnj27i4v48lh3hcrp5xsj-findutils-4.7.0.drv
/gnu/store/6b03kl9yb58pflmsipsr0b5jz8bwyp0k-gcc-7.5.0.drv
/gnu/store/6hnwlp8ak8y9ja9pc8wkifqqbavdm92f-gawk-5.0.1.drv
/gnu/store/9h2vdfir6wysikmy0zrf4qjwzm2m4ig5-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/9hzamgb17dyz2h577pv5whgr9s38vv4i-ghc-hashable-1.3.0.0.drv
/gnu/store/9p730yx3z10s8ygyz3400pj2lgf6rswv-make-4.3.drv
/gnu/store/9y2i2mib693kva6l0lv3aq2ddcjr30x6-gzip-1.10.drv
/gnu/store/a1jwz0vc3v3i0x9h3af23vw0ha5ywg9p-ghc-strict-0.4.0.1.drv
/gnu/store/a69xs35lxq8k43fcfdxpmrvghlf26dd4-ghc-parallel-3.2.2.0.drv
/gnu/store/a8n24vfzwz4vwbpbcvdkh8z2lmcz3gf1-ghc-boxes-0.1.5.drv
/gnu/store/awfplpkm602m8g5jj8m9nyfr50n1qppp-ghc-data-hash-0.2.0.1.drv
/gnu/store/bcxc57nbfd9q9ds93xmk9nyds3fw3qls-glibc-2.31.drv
/gnu/store/bryxhj60g1j7393y3ap25cjxznvwgk7q-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/bz2crs61dl1z4iw8iadr1jwljxcwllp3-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/c7d6vmp3vkg12y2701db6l6ikby2a514-ld-wrapper-0.drv
/gnu/store/d0zxxp2h09q426w7h6wxqqzclhg508ph-diffutils-3.7.drv
/gnu/store/d1x09z6nzv9lbzdi48wcrlvjvyxybgl8-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/f87mbzfvr7xv0jd5np2c6nfpf7bjm451-coreutils-8.32.drv
/gnu/store/fj8zb24wnxcxvpmd1fid7g7dwmqms7zb-ghc-monad-control-1.0.3.1.drv
/gnu/store/h3i34384li7krjp27a5dw012xx5b2vx1-module-import-compiled.drv
/gnu/store/hkb58jrqy3b9gp3pcbg3mnygkc3s9cmp-ghc-gitrev-1.3.1.drv
/gnu/store/jjlxq13kbh6a3wvpzlhf9g2nr9jq7s67-binutils-2.34.drv
/gnu/store/k350cj4glbzsd4jzlxcfifcmhaknqphd-ghc-blaze-html-0.9.1.2.drv
/gnu/store/l3brlk4f65ak0h5w0xr4h2rips9n0160-glibc-utf8-locales-2.31.drv
/gnu/store/l65vq79yrimq5vl2pvjgz86zs97nasw8-linux-libre-headers-5.4.20.drv
/gnu/store/ldpr3dk8i7xnpcllva26rng4jnfr28ff-sed-4.8.drv
/gnu/store/mfajphjcxjjqkzb0ga3pbvxrlgx7h2nk-ghc-alex-3.2.6.drv
/gnu/store/npg5kz3hf2v1pypy31b7nv9k2w11z4vp-ghc-uri-encode-1.5.0.7.drv
/gnu/store/sd3y8lzrc8w0j2amll9cibm0dfvpfzlw-file-5.38.drv
/gnu/store/shvap4mb3pqvcyrc7abm9v6ysya5nfjm-ghc-equivalence-0.3.5.drv
/gnu/store/sxchw936vg8ayqs9pwig7fyy2lh22331-bzip2-1.0.8.drv
/gnu/store/vksxf5yjj222bq2aday571aw0dnp3k2w-xz-5.2.4.drv
/gnu/store/w6cyx7swnm2sqvbv6d9jgv3582laykan-ghc-8.10.7.drv
/gnu/store/wrs6s2x7aqn7744q1dpvyd8yvib6vhp8-Agda-2.6.2.tar.gz.drv
/gnu/store/x16lmpz4yqmpf403b1n50q22scdaab84-ghc-aeson-1.5.6.0.drv
/gnu/store/x4irvssp4cb4mrgjmrl0wdpx87y07lcy-ghc-async-2.2.3.drv
/gnu/store/xjwgplf2izq9cvh91i37rdncs6m66rm9-ghc-zlib-0.6.2.3.drv
/gnu/store/xl263r5f17j1845x79lfnxidwcjd8kbr-ghc-hashtables-1.2.4.1.drv
/gnu/store/xm7vx7n23knbkr38dk7742a9hslc9w6w-ghc-edit-distance-0.2.2.1.drv
/gnu/store/yncgvmwa7fmwcvfqbjvxi368scxn8xcb-ghc-happy-1.20.0.drv
/gnu/store/zcagjg0968slj27z09nj1vhaz486ig9q-tar-1.32.drv

Derivation details

Builder/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile
Systempowerpc64le-linux

Build status

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

Outputs

File name
/gnu/store/1jn53a293csk5fdvvx2802jn77833ain-agda-2.6.2
/gnu/store/q7ih7rsiv1l5i23gb86g6z11js985yqj-agda-2.6.2-static