/gnu/store/gjjgzczqy6h24v4phnlhbkg55ina3nlf-coq-core-8.14.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1qyhipx93zf66asm20qbsng9ffhpqbik-ocaml-seq-0.1.drv
/gnu/store/2pj3sgbgv1dqs4ck0cpmwcq8hww0ijz7-diffutils-3.8.drv
/gnu/store/2vvphf0fcnbf2mmfc6ikiqxsnnjyrfny-ocaml-4.11.1.drv
/gnu/store/4ny2c2zn0ncrf3hsa8ncbhs000z1qb7n-ocaml-stdlib-shims-0.3.0.drv
/gnu/store/582jlbcrbd99jbad45hab63pfix4qah9-patch-2.7.6.drv
/gnu/store/6q93pf09p6jnz7a9rljskibgrzps7m7s-findutils-4.8.0.drv
/gnu/store/7zgavfs26byayvca1wc4lavdyxbi6ncd-grep-3.6.drv
/gnu/store/9ixmsli1vizkkghms33qi2s8psbrrndk-module-import-compiled.drv
/gnu/store/a1n057fgq0yv5y01qmwyh55vxhpz2g66-linux-libre-headers-5.10.35.drv
/gnu/store/b6r3mp4wffgsb4pklclbr5mfw7h94y7y-tar-1.34.drv
/gnu/store/b7z6ns10slyqxnivwrrh48nsfj0xiyrf-ocaml-zarith-1.12.drv
/gnu/store/bh15fcb7grhx731ccpays3vq7gvjl0fi-gmp-6.2.1.drv
/gnu/store/cvy37ymqj6nm5b9rh15vdqy3ymz3wyc0-bash-minimal-5.1.8.drv
/gnu/store/dksl4axcgqs9flh0y00ypwyqpfiv129f-dune-configurator-2.9.1.drv
/gnu/store/drb5c7xwwbmvp2kchfphnjc2n8ngw8pk-coq-core-8.14.1-checkout.drv
/gnu/store/f4wblqmfngb4n5r5jgik8iqnsi0y2i8z-ocaml-findlib-1.9.1.drv
/gnu/store/fr63ak0jah7gy3xv03v07z1j3faykcad-libev-4.33.drv
/gnu/store/frxfbch8vpzrb283clkl1mvjvrzxdwqr-ocaml-lwt-5.4.2.drv
/gnu/store/gg6mzbwal1pdqcv02ckhzvy3snfl8s9a-coreutils-8.32.drv
/gnu/store/gsr8kmsbs2lhmimf025s72j5zf83dkjp-file-5.39.drv
/gnu/store/h5h6a7d4mfl0b1qy2pq23x6ih12l4l6q-dune-2.9.1.drv
/gnu/store/idpm8mcvav5m7y1b35la0ikj57ywlpak-make-4.3.drv
/gnu/store/ilisr6g1my3mdlrrngl50nfp64q5jc2d-glibc-utf8-locales-2.33.drv
/gnu/store/in6n2gwf59xinb981qpfwarqx1skfn4n-binutils-2.37.drv
/gnu/store/k1jvb5dvgj4w1g4d8br3a9nym4zpz54s-sed-4.8.drv
/gnu/store/kdap0ai0817y98dzan68h9ffmccs089b-gawk-5.1.0.drv
/gnu/store/l9hdk3dqxjb1irwjfhs6ryg74h7m5wx6-ocaml-csexp-1.5.1.drv
/gnu/store/lyqvrd1a2n5pkfn68mxk25y8d07b3ahs-ld-wrapper-0.drv
/gnu/store/nk1ndsdds1ixcgdc2bdvndczijkhfx1x-gzip-1.10.drv
/gnu/store/nyz5cmppp735jnzrgbg0fdjjhq4qp0dp-glibc-2.33.drv
/gnu/store/qcgv5f6y93aaiwhimfxahr5yf2ljn4h5-which-2.21.drv
/gnu/store/qpsvdzmf4j2wrrdcsy00mxx6h4mxbci1-ocaml-result-1.5.drv
/gnu/store/s4296bqxjqds954v6f9anjnb69xf04hk-gcc-10.3.0.drv
/gnu/store/w9v8bfbh5x2vxzd5iqwvv3447h3pmnr4-ocaml-mmap-1.1.0.drv
/gnu/store/wgl36x60951qw9sinfylcw64pafx5gz1-ocaml-ounit2-2.2.4.drv
/gnu/store/wsssmjx1py9kzr1ay858mgpqjkil0584-bzip2-1.0.8.drv
/gnu/store/x5askjynhkr7slhps9hmda3m28jsz3cv-xz-5.2.5.drv
/gnu/store/xfay35qql6xzay6ha1rbzg797rdvj3j2-guile-3.0.7.drv
/gnu/store/yl8igy5njnh0as90xj383k53mvsi37i2-ocaml-ocplib-endian-1.2.drv

Derivation details

Builder/gnu/store/q7fwd9ri2ad3mgq8qnc1s6iir0qwls0d-guile-3.0.7/bin/guile
Systemarmhf-linux

Build status

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

Outputs

File name
/gnu/store/r91jf8vcn1l17mhr0ja1riczp735l8hr-coq-core-8.14.1