/gnu/store/g7mmvxlfxy9p7wrh2p7jil43y9cdw6rr-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/4kjp42vhi9j4snrm4w7liqwjf1260cma-gzip-1.12.drv
/gnu/store/50a44myd0qvqf9v2rpwqckipsrlmn9ag-diffutils-3.8.drv
/gnu/store/55av3ii7hdgrkvf92dnkg5pqm7bxd3k6-binutils-cross-powerpc64-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/9brich9vky6qz9350a6q48402v81qr30-coq-8.17.1.drv
/gnu/store/9dpbf0fix5n3gwrh0656k0yzcm0v2lys-guile-3.0.9.drv
/gnu/store/dza4pxln71axks9ij1rybcafs13vz838-linux-libre-headers-cross-powerpc64-linux-gnu-5.15.49.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/q0haxckaq0hfqpi7hvkzmalb926ybm5q-glibc-cross-powerpc64-linux-gnu-2.35.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/v6y87q0gj46mam7cjnxf7l41wb559hcr-gcc-cross-powerpc64-linux-gnu-11.3.0.drv
/gnu/store/vmcdkihxgqljdw9i27ghfk2nxfdcbcm7-automake-1.16.5.drv
/gnu/store/xf3ipwqk91lx2xwk55gdv1hmm2ipisam-coq-mathcomp-1.19.0.drv

Derivation details

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

Build status

Unknown

Outputs

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