/gnu/store/ib6qjb5bsk1piia727mf28kmdfp292c1-coq-stdlib-8.15.1.drv

Inputs

File name
/gnu/store/08hvsqnskmdq8h6676112n4q1wx5835m-patch-2.7.6.drv
/gnu/store/0p1g4ri6zcjdcbxvvd7m74v9p0jykcdg-module-import-compiled.drv
/gnu/store/136rn1hl4y9m5s0jz4vg4rghf7f50nm3-findutils-4.8.0.drv
/gnu/store/288y0x9w2lc0pbib5648rcvw3424cp88-gzip-1.10.drv
/gnu/store/28js1907cgw65hxnz8fqj7jip3zwr2hr-gcc-10.3.0.drv
/gnu/store/72aaj32mj6s6xwgpxdfnbj4rqqx3fzcm-coq-core-8.15.1-checkout.drv
/gnu/store/8crhs85b5scsbwadsvcy1yh61hncwm1j-glibc-utf8-locales-2.33.drv
/gnu/store/8m2x40ls3vncgzwyw406c1hbyn6m0vma-ld-wrapper-0.drv
/gnu/store/a7byw4886qyxhgqr6widwq4nf56h6yjq-bash-minimal-5.1.8.drv
/gnu/store/af47fy81wk6kc3cladz9z2ql3jn947pa-sed-4.8.drv
/gnu/store/amvg0nxg8dpzd9j9ln2k9fynkazzn6km-ocaml-findlib-1.9.3.drv
/gnu/store/apsa3p3qivjvawpr2zy4j11pz5x6k794-file-5.39.drv
/gnu/store/b3kq8115wjc9xa4xxfr39cm4ikhnni53-xz-5.2.5.drv
/gnu/store/b62bqa7qv5lrz7plnijmx0f32ajcc7fa-gmp-6.2.1.drv
/gnu/store/bzqpalxp1m185b1dk0qlhhvybwrybk98-make-4.3.drv
/gnu/store/cjqsr0zxb614r9hlccz6fyyv6010x8aa-gawk-5.1.0.drv
/gnu/store/clv88x0syp6a8ck3c5aw1dnxvfz4lc0s-tar-1.34.drv
/gnu/store/i9qnvfijrcg8vrya0jisf7dlhw5fwx07-dune-3.1.1.drv
/gnu/store/ih7v5wjb0kh05p0m1h95hfazzcnfh5wb-ocaml-zarith-1.12.drv
/gnu/store/iwgjbvgnnylc2nh7yqpq6l1lfsmdbknc-bzip2-1.0.8.drv
/gnu/store/kk5ig0nymsxcwk4vx7svxchmp8h61zbi-coreutils-8.32.drv
/gnu/store/mdin6cvkpyy8h6sgxgzbx5s3qh0fjfzg-diffutils-3.8.drv
/gnu/store/nr77gf6d2653j9nvav8dvxnv2xkqfagm-grep-3.6.drv
/gnu/store/pidc352rdvahqh4syr2zhqwcxk70v24z-ocaml-result-1.5.drv
/gnu/store/qd4ff4kd7rn2fmpmp9vzwxznh5567z36-ocaml-4.14.0.drv
/gnu/store/qi49pf18rwinpkj61xhhp1il9ficg367-binutils-2.37.drv
/gnu/store/r2fpmg5izqgcsgdzdadhhv27r7sfd2fq-guile-3.0.7.drv
/gnu/store/rvq7bwdwana5wnr0364ki2y3c8dirvq9-glibc-2.33.drv
/gnu/store/yf407vq1i49mv2a89z4z4lbsbr9wrj7j-dune-configurator-3.1.1.drv
/gnu/store/yjdpki3qybwb0as7xm88pgdy41zalpv7-linux-libre-headers-5.10.35.drv
/gnu/store/z49g452fhblhpny162f0p7sril4nvzd4-coq-core-8.15.1.drv
/gnu/store/z6h1kcbg99wl7l5g2874sk1jcf9dr971-ocaml-csexp-1.5.1.drv

Derivation details

Builder/gnu/store/m8bfw3z558lfk3h0n5xpsqbv9m6ls2r0-guile-3.0.7/bin/guile
Systemriscv64-linux

Build status

Unknown