/gnu/store/ly9533rvma6h59mn27cvjsr17cnp5js8-coq-core-8.15.2.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/06fwk4ddm7jalpiyjn3cxrkl5zk4q9qd-dune-3.4.1.drv
/gnu/store/0fp7b0w9mz8clg6kpjxkqdjyrnbhncam-gmp-6.2.1.drv
/gnu/store/1fz4v8j27lyjfcvf2dr419x2m02qc851-coreutils-8.32.drv
/gnu/store/21a8zcr3hhf4wcb81dx0arw82ps61vdz-which-2.21.drv
/gnu/store/38sk59ffrkv6zk6xrq5m2sw6y8dpzgr4-ocaml-4.14.0.drv
/gnu/store/3iagac0v2fv8w3ljgi252pf09hkw1dci-ocaml-bigarray-compat-1.1.0.drv
/gnu/store/4c4mnnsi314adfqshwzfb2hbjs32gw2s-bzip2-1.0.8.drv
/gnu/store/4xqpk8a9yvdhh9z7bvqxlp4bhhh2j1wi-patch-2.7.6.drv
/gnu/store/5c8wan41scm0j9dgcmq0rpcsb59n0l9v-linux-libre-headers-5.10.35.drv
/gnu/store/5ikcq3mjxxi824hmc3ri9q9adknkn6hx-ocaml-zarith-1.12.drv
/gnu/store/5k20iw84477c3i2fjadjvx27flwxv2gg-guile-3.0.7.drv
/gnu/store/6qbw5grdipwh0386l166l3wlh5nbcvc9-diffutils-3.8.drv
/gnu/store/6zs236zir2zffgi84i783mld35l6q994-gzip-1.10.drv
/gnu/store/8a6n39n00shk9bdid1vv40x329qbiaxb-ocaml-csexp-1.5.1.drv
/gnu/store/8nq5sgw7qw8flawdza94i8g9ybbq2qmq-glibc-2.33.drv
/gnu/store/ahix9l0kzffhq3g49a3b1fkybvlf5zmr-ocaml-mmap-1.2.0.drv
/gnu/store/aimbvg99y3q6yjv6535nq91q63bvm49s-coq-core-8.15.2-checkout.drv
/gnu/store/b3q82whxd5f6mhdsn72f8dwvfl1andg0-xz-5.2.5.drv
/gnu/store/cpw405wcadpb0yswcpwrl7jswini1ga3-ocaml-ounit2-2.2.6.drv
/gnu/store/dgjr2inp9z5y5m7hgb5m7arml6qmpwai-dune-configurator-3.4.1.drv
/gnu/store/fsfz0sqrxa8fjpyfq37fkw34h47lgvwz-ocaml-findlib-1.9.3.drv
/gnu/store/gc8098hpkvzppgcw49yx00wnnnz00f1a-make-4.3.drv
/gnu/store/gqcv07r36bwl5bixcys2f05nafz6if72-module-import-compiled.drv
/gnu/store/h444iba1nf56gkx5i37m0zi5fijag5y5-ocaml-stdlib-shims-0.3.0.drv
/gnu/store/h7nshm8ph30qcm3qd8wxcq07wxmia4kk-ld-wrapper-0.drv
/gnu/store/kag46ynf3qkid96spvim811k9ssd8na1-file-5.39.drv
/gnu/store/l99rvkwzzg4209625iy0r31mic2xn108-gawk-5.1.0.drv
/gnu/store/lv7wq50sxz4mp7fg1f7j7vdrgfyffrgh-ocaml-ocplib-endian-1.2.drv
/gnu/store/mnsnwvgxys639bpiwlf90zz9qr6gfdds-findutils-4.8.0.drv
/gnu/store/plx29l1fmrc1i87p2vcwcsv0xdndhwj2-glibc-utf8-locales-2.33.drv
/gnu/store/qa8v3sfgi0832w5q524vkgqw4168f40p-gcc-10.3.0.drv
/gnu/store/rm3afwjqq49s8yqdmsrkfnb8yj1fijz3-libev-4.33.drv
/gnu/store/rxdq3n0gcg9cwvn7r8wk53bc6lyh9l0m-ocaml-result-1.5.drv
/gnu/store/vf66nsmpqnmn4s8341k1fncq19wbggl4-tar-1.34.drv
/gnu/store/w35pkq7rixzynsyvszpzyaj83cqfd9wr-ocaml-lwt-5.6.1.drv
/gnu/store/wmqmkvgfs3cab3kf269d4p9lkphkwzdm-binutils-2.37.drv
/gnu/store/wr54d4f3f6wp5s9k8768sc4l2w0vvvfr-ocaml-seq-0.1.drv
/gnu/store/xd1sxx07rbynhhgb693vdw1rqlqd4a93-bash-minimal-5.1.8.drv
/gnu/store/xiflrqq3a9g4vgrvpvmy4c4i6v22b7qy-sed-4.8.drv
/gnu/store/zkn9n903iqmfwa07dviz0j0l1f9wyfxy-grep-3.6.drv

Derivation details

Builder/gnu/store/x3c8k0v2mmn0mjg3mh82zb3nmanfvq71-guile-3.0.7/bin/guile
Systempowerpc64le-linux

Build status

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

Outputs

File name
/gnu/store/dpsm6b9rhngjbaz2wsnmyi9c28nd6kfj-coq-core-8.15.2