/gnu/store/yyyijlwwpns98k6h2jdgsky4h4jj4abi-coq-8.17.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/12waviahq6pr07hams7s4shw1yp4s1xx-libev-4.33.drv
/gnu/store/1ahmrrsv6kk9ska2glxnxhm2pg9ci0dl-make-4.3.drv
/gnu/store/3b1w9c2jar6rfv9v3g9my1n81141nlwz-ocaml-zarith-1.12.drv
/gnu/store/3f5lq3c7wyj2dlq02axqzgqjciv6p4am-tar-1.34.drv
/gnu/store/3ll0xk22p8ph2mq60fs7zrysq9kkyv04-ocaml-result-1.5.drv
/gnu/store/3mlr37s65dl1c9406nkwal9p517hgrm1-coreutils-9.1.drv
/gnu/store/4bxi7chxgpdvhcynqgrnm3jg8fn9f6v3-findutils-4.9.0.drv
/gnu/store/4lr16j515gz37164g9559i4rgpwkgxiw-glibc-2.35.drv
/gnu/store/4lrzgc2vv454qzy4qx3nrxlr7b5hhmdi-ocaml-findlib-1.9.5.drv
/gnu/store/5pbgayxbwwd6fh90c56d38bsniny68sl-xz-5.2.8.drv
/gnu/store/6qkxl2jpayjxx3ni7wpvna56mg9wqxcn-diffutils-3.8.drv
/gnu/store/74b50xh7xj8wg6vwzaikhxkaqfz1m3pf-binutils-2.38.drv
/gnu/store/7py1mjalx82s77xm5v1mqj0ym33xsjg1-module-import-compiled.drv
/gnu/store/7yjlfdb0nqn9ihv0dz9bnr63d9ps5vyx-guile-3.0.9.drv
/gnu/store/7zapmcv3s9l4a6nbfnq7k709ks97g8gj-ocaml-ocplib-endian-1.2.drv
/gnu/store/8l82pgwgbpypbgby5vn9v5fvahci1dxz-ocaml-seq-0.1.drv
/gnu/store/95bcsawj44llahg00wz53z53syi0qsw0-ocaml-4.14.1.drv
/gnu/store/9bw5qn655z68ps2j9sw0qwcbih95aaqj-file-5.44.drv
/gnu/store/a43jyrnd1akhw46alcyd1hav2p6kv92d-patch-2.7.6.drv
/gnu/store/aac31w73is892qq21j8q5j4cvcf5c53v-dune-3.11.0.drv
/gnu/store/axwvrlc421ay2qpamsxfpbszyk8zv9q5-ocaml-ounit2-2.2.6.drv
/gnu/store/b4pxqi1clxki7g27ia6ajy7w2dyasifm-glibc-utf8-locales-2.35.drv
/gnu/store/bqwsawxgqz9ml8idpvx6rk7vkgwc429b-grep-3.8.drv
/gnu/store/bs3jaw7vd88g6x86jbqvxx018nz2vyxm-gmp-6.2.1.drv
/gnu/store/ck2pbip49sm8zqv4vn9ifh2778fimyk3-linux-libre-headers-5.15.49.drv
/gnu/store/d10dhs3h7fbpnvff9ki8r23laywb5f4v-gawk-5.2.1.drv
/gnu/store/id72wl9rvix82zp8hhwy6fs8hy0m2xcs-gcc-11.3.0.drv
/gnu/store/jp0vfai1sq59pbxyn59dyiiwzqm5ky1i-ocaml-mmap-1.2.0.drv
/gnu/store/l1m9yplz8sqlmmp983da56kcg90dpry2-bash-minimal-5.1.16.drv
/gnu/store/m7cc2hqcgix083qvaf8a1gq4lls51k5q-ocaml-bigarray-compat-1.1.0.drv
/gnu/store/mbd80s0s73cpnjf4s2k39plz5w5nhfry-ocaml-csexp-1.5.1.drv
/gnu/store/p6b1ri61q7sk7cmq2vq8hrn85dl9hs6p-gzip-1.12.drv
/gnu/store/q6hydbyn4ilayl7rmr0vdclxr1xd32zv-sed-4.8.drv
/gnu/store/q9an3rk32v66qybxckcb1m38r84jl08k-ocaml-lwt-5.6.1.drv
/gnu/store/s41123rah2cr4fal1lckqva85gchn136-which-2.21.drv
/gnu/store/vdhrwg8iaj7rpjbwd2lzas64i1b4ixpc-bzip2-1.0.8.drv
/gnu/store/w1gnbkw1viz5yxrb9rj1wzn54ckmrahn-dune-configurator-3.11.0.drv
/gnu/store/wwwh8rj4zayk01cph6rg91mchk6ji4sx-coq-8.17.1-checkout.drv
/gnu/store/y62zl4zfi0i0gg03ljjb0qywqj1riyvc-ld-wrapper-0.drv
/gnu/store/ynf70sbb0d3dxi10yp81yn18pis747a9-ocaml-stdlib-shims-0.3.0.drv

Derivation details

Builder/gnu/store/s910fpr3xfhb8bfxm3cy7kbkcg0m4max-guile-3.0.9/bin/guile
Systemmips64el-linux

Build status

Unknown

Outputs

File name
/gnu/store/qzlyxf61z82az6cmdyb6qp03ah7bn85x-coq-8.17.1