/gnu/store/11b7yxzmjn9fplimz0yp9d1x8ynj0v0v-coq-ide-8.14.1.drv

Detail view Formatted view Plain view View JSON

Inputs

File name
/gnu/store/0amsfhryksi3jbmxy745h3g0xnrfcnzw-xz-5.2.5.drv
/gnu/store/0bpkgfiqsaza4vpcrsb3dgx85lpds2c0-tar-1.34.drv
/gnu/store/0hmgrz55qpykqf9l9f5ajgrslbvc7hd8-coq-8.14.1.drv
/gnu/store/2y5b4dh0l39ihikkcq1fsxyzjpafi286-sed-4.8.drv
/gnu/store/3jrsias8r2cmh1fy992kx1qnb26xhh9f-file-5.39.drv
/gnu/store/3yy3k4212q58qxgaz9i28xmr8cpz4qv3-coq-core-8.14.1-checkout.drv
/gnu/store/5mbrym5imd3jg1rp60jip5jvhnl16x0w-gcc-10.3.0.drv
/gnu/store/7j5s2vymxsbi0d4rv0jh8vsxnvd07795-bzip2-1.0.8.drv
/gnu/store/8yxscr8mj8k21lwgwdimwna543cr69dq-glibc-utf8-locales-2.33.drv
/gnu/store/ai35mji2gbb07dx178lzb2qkn77ll3nj-module-import-compiled.drv
/gnu/store/cnabqkbj92wj8xbap377fknv1934awj8-ocaml-csexp-1.5.1.drv
/gnu/store/d215ri3v178bmdq6qv0piqd2n1yz4wxy-gawk-5.1.0.drv
/gnu/store/dfkf9asg2ajcqjiz0d6wydw14higbvzp-binutils-2.37.drv
/gnu/store/dkbbnyqx86l36ihxzxnjc3r3p9p818j3-coreutils-8.32.drv
/gnu/store/f0qcd6gkdzz1slab3arggcyk593k1rpv-ocaml-4.11.1.drv
/gnu/store/fmjhj7awqi5r5z9imyqf8gwq0drzxnv0-dune-2.9.1.drv
/gnu/store/i1nd7yrq2qr9kw3gmzqhyafk4b9s220i-ocaml-findlib-1.9.1.drv
/gnu/store/jb9akncv7lrllwfqzbafa8rlrbskyp4k-coq-core-8.14.1.drv
/gnu/store/jy6757b5w7w9klp8j2b7b2l9msx9dxlz-patch-2.7.6.drv
/gnu/store/kkjkdva4fx550hhdr98v9mnn9wf1aa9h-glibc-2.33.drv
/gnu/store/lrs5jckrf3a4dvxh45xcrcz93kz8mnc5-ld-wrapper-0.drv
/gnu/store/lsxxya9rvkqx86v6z51ipk0dl983p4l2-ocaml-cairo2-0.6.2.drv
/gnu/store/m225lwypzglhb4852yd0ym5arqjblaly-lablgtk-3.1.1.drv
/gnu/store/mjh95hyff9nf72rx8q2pxg9iv4xzvpr2-bash-minimal-5.1.8.drv
/gnu/store/mnki0ncwzm76c2l0yqkgwrdxim1hhn0d-linux-libre-headers-5.10.35.drv
/gnu/store/mrafakpbng271na8hx8hxlab5rr2ydqz-grep-3.6.drv
/gnu/store/nikf61snyd4zzhk9di7fz325x92b4gic-dune-configurator-2.9.1.drv
/gnu/store/qm2dyy938rcwzynpqfn6ayy84c2bz6l6-make-4.3.drv
/gnu/store/rdcd8pc6jj5jvv73ga1z881whf0py1wr-guile-3.0.7.drv
/gnu/store/s86syc4x3wjby4vfbhy58hyqf21ba318-coq-ide-server-8.14.1.drv
/gnu/store/v5s34whbm7jq89jzazl9hym86vkgg770-diffutils-3.8.drv
/gnu/store/vmrq00izjmbj1sgr8ysvg89n49risbkj-ocaml-result-1.5.drv
/gnu/store/vmw48ny7dspxljf5hpagmd8jg5gpn4rg-findutils-4.8.0.drv
/gnu/store/xijfq2nhiap30il2k4krxjfbvzh9d3wi-gzip-1.10.drv
/gnu/store/yayh1ccg3q51l1sgrnv40l9bwbpryz1l-coq-stdlib-8.14.1.drv

Derivation details

Builder	/gnu/store/51a2z3p12w8h8bwih5zishd0waf4ry1m-guile-3.0.7/bin/guile
System	`powerpc64le-linux`

Build status

Scheduled

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

Outputs

File name
/gnu/store/4figv2r5rag4wngr0h58xdzn2csi57pr-coq-ide-8.14.1