/gnu/store/dbycmjnghwrdwgpyqvl9wvxk87ra6cya-coq-coquelicot-3.4.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1fqjlzqv32adrvwiwfca2fwcacn6h5l1-coq-coquelicot-3.4.1-checkout.drv
/gnu/store/1lr41kwfsss66h37lchbk7icz74yj0p1-binutils-2.38.drv
/gnu/store/23201bjiyxi0q3fkvd84kc62v1rl0pp0-xz-5.2.8.drv
/gnu/store/34i09xrz49phnkij2c8k6ps37na6cr74-make-4.3.drv
/gnu/store/3ds56xg6njpw6hnp2w4xpx4psw5mka5q-glibc-2.35.drv
/gnu/store/3nk2iml8bzn9bx1cfkjkc0625mrdx7vf-patch-2.7.6.drv
/gnu/store/4220x2mav9gr6m2hvnnz6fyvgdin5hjq-linux-libre-headers-5.15.49.drv
/gnu/store/4ai2nc2c2fpxsnqy3nd50lpck4zaf7z8-gcc-cross-powerpc64le-linux-gnu-11.3.0.drv
/gnu/store/4kjp42vhi9j4snrm4w7liqwjf1260cma-gzip-1.12.drv
/gnu/store/50a44myd0qvqf9v2rpwqckipsrlmn9ag-diffutils-3.8.drv
/gnu/store/6b22kw5b6wbsssl7kqbylqv88f4zj8yg-binutils-cross-powerpc64le-linux-gnu-2.38.drv
/gnu/store/7fsz44vifdc0ws0amnpwnmig3ra6hb53-gcc-11.3.0.drv
/gnu/store/82f7nr1h69vb3mz34sjdzqlbi30iw56y-grep-3.8.drv
/gnu/store/83rd4k9ddh4ka89mk16ffnkchd688gla-module-import-compiled.drv
/gnu/store/9448kfsnnjvfk1n4cz18164ahs0p4008-linux-libre-headers-cross-powerpc64le-linux-gnu-5.15.49.drv
/gnu/store/9brich9vky6qz9350a6q48402v81qr30-coq-8.17.1.drv
/gnu/store/9dpbf0fix5n3gwrh0656k0yzcm0v2lys-guile-3.0.9.drv
/gnu/store/fc83kzqb5ry2f6bdlch1xhp3fkpiwc9p-bzip2-1.0.8.drv
/gnu/store/gabi1mjsw981bpyj636flilr5pxqi78c-file-5.44.drv
/gnu/store/h1ybqwg18by6qmyp4m4dbz9hlcpg2553-tar-1.34.drv
/gnu/store/i9cdr2n05xmq3lb9x6la216h0bjwn0f9-autoconf-2.69.drv
/gnu/store/iqvs6zqp707h22da63jj3a36g61kk82q-ocaml-4.14.1.drv
/gnu/store/ivfqnmrbn3z9n0lhyrffqmzwqa65q295-coreutils-9.1.drv
/gnu/store/n9kblf5cx4lphrydjr90sp3zfvcdr1pb-glibc-utf8-locales-2.35.drv
/gnu/store/p9igblxhxmkl97ffld4y82z0p7v9ajd2-sed-4.8.drv
/gnu/store/pwzwbc49435kq89jb3mfk09j4dn1b4rw-ld-wrapper-0.drv
/gnu/store/q4wbrxsapqv7mn677a922vwylwk2v5if-which-2.21.drv
/gnu/store/r1sjrj2z2hn1s1ab7iqydk4vhc655gv8-bash-minimal-5.1.16.drv
/gnu/store/r4r2cvimqzwdl5n523zfgjq23c7pm3bj-findutils-4.9.0.drv
/gnu/store/rpxwpdlndvx41ia8a4zqpjssvpzchaj4-gawk-5.2.1.drv
/gnu/store/vhsc4wli9s86aqjh9g96d2by6n2sj11y-coq-mathcomp-1.19.0.drv
/gnu/store/vmcdkihxgqljdw9i27ghfk2nxfdcbcm7-automake-1.16.5.drv
/gnu/store/zlp032q6yr2ki452md8j8n2rai4997y3-glibc-cross-powerpc64le-linux-gnu-2.35.drv

Derivation details

Builder/gnu/store/g8p09w6r78hhkl2rv1747pcp9zbk6fxv-guile-3.0.9/bin/guile
Systemx86_64-linux

Build status

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

Outputs

File name
/gnu/store/d8mv95123nhgaw1rqch12h5xd41sakjw-coq-coquelicot-3.4.1