/gnu/store/1vbww7zgr8mmmpczb6liymy7a4zx1w1s-coq-core-8.15.2.drv

Inputs

File name
/gnu/store/0s1vasdh8y51c33axn19qysybzhb4na2-sed-4.8.drv
/gnu/store/12z3q930vh06zmfnpd6n5l2mvh8p0h2h-ocaml-zarith-1.12.drv
/gnu/store/1464pr12k8cwh8w0zpqcp1dngj9p5y8m-ocaml-ocplib-endian-1.2.drv
/gnu/store/26kqgw452zg34snw107xbhdb26m79l1i-binutils-2.37.drv
/gnu/store/2z65lbdg65jw1dmj2jg0xc7m3j11z71a-make-4.3.drv
/gnu/store/3qaj00bq9h3wnpm5nxh02zfl0sg9vmqc-bash-minimal-5.1.8.drv
/gnu/store/51ffg143jxwh1r1fl20ns2fpsqcarclj-ocaml-result-1.5.drv
/gnu/store/5anj7g79wlmj02cphd9inpp362gy4dlf-coreutils-8.32.drv
/gnu/store/5nkcww64h6c2jc4dqb82577w9n4mcysw-glibc-utf8-locales-2.33.drv
/gnu/store/6l38p3paayd596761lv2krsilis9qhyc-ocaml-stdlib-shims-0.3.0.drv
/gnu/store/6yag7fvdd9gx5xfjfhq0npnffmsyparh-ocaml-4.14.0.drv
/gnu/store/73f7pssbzdijdr425d0jr0mkf4g504lg-guile-3.0.7.drv
/gnu/store/7jsr6blzxamcgscchpcx21b1q8782bdy-gcc-10.3.0.drv
/gnu/store/7mlaiqfmrlc8rkps2xn801m4773azcdg-glibc-2.33.drv
/gnu/store/7nm28wn1xqamf7bsihp8zx3q71bvqmcg-diffutils-3.8.drv
/gnu/store/7z846ig2lv7q910ayrr3qq2hkbdqzhvj-file-5.39.drv
/gnu/store/7zizy7d6qkjhkj5036yvnx8gbkjfqvxw-gzip-1.10.drv
/gnu/store/9f6km28lb2qmkslfsp785kr5fqbf82j0-ocaml-bigarray-compat-1.1.0.drv
/gnu/store/9k7gaas51s3yxkxxqcav6yfkjs1qg4hd-ocaml-findlib-1.9.3.drv
/gnu/store/9prmpiasynk375b1hdbc43r6wrk5kp1l-coq-core-8.15.2-checkout.drv
/gnu/store/9yh3nwfsapxglamgmcba7wdx46wnz6b4-ocaml-lwt-5.6.1.drv
/gnu/store/a71bwgxa09av7rgxsss6qf1dcmhznwz0-ocaml-seq-0.1.drv
/gnu/store/f8a0fnqxkj1s452c30z55yz173wywkj3-module-import-compiled.drv
/gnu/store/fjzcmfq2hdvla2zr69izcxzaw4g0drl6-grep-3.6.drv
/gnu/store/h4wyki3227vbf834xdlhljb6jf2spf48-bzip2-1.0.8.drv
/gnu/store/hzdq8mqkvfzfsdbc13qma1fdf49j3r7s-linux-libre-headers-5.10.35.drv
/gnu/store/iszkn8ia4lsgwgdzhrlp2hbfrw7ygz4d-which-2.21.drv
/gnu/store/j64zz7mvwfchafkk3rf9x4098q44h9dw-dune-3.3.1.drv
/gnu/store/lbxlvr94bxim039bp7676vgsx1ahrlvk-ocaml-ounit2-2.2.6.drv
/gnu/store/mk2jl72795jfl2j4zy0nmmwhwsx971v1-tar-1.34.drv
/gnu/store/p3ji65fxny8kmvfi70ipdmhbf64797fj-ocaml-mmap-1.2.0.drv
/gnu/store/p3lpi8hs8f6b2gif4jzcrxf1lvxd001m-gawk-5.1.0.drv
/gnu/store/q1jdjw959w6kkrlzajnss9x74kxjbbvq-ld-wrapper-0.drv
/gnu/store/q49ldgpacjxx82ibi679a0959ligly5c-libev-4.33.drv
/gnu/store/q7z31nxv8rg77iq351sq929bfdrdhh28-patch-2.7.6.drv
/gnu/store/wz0kv0dmdaczinhq7pmkg9j5pp8gi9sa-ocaml-csexp-1.5.1.drv
/gnu/store/xvpz6bnmqirf61f0ps0gvxzh22xd2ps3-findutils-4.8.0.drv
/gnu/store/yfcyyhjmw7snvshr1pfpk7pz6l0vmbpb-xz-5.2.5.drv
/gnu/store/yxksha2a45mvaky8y059zlbfgyjhz6aj-dune-configurator-3.3.1.drv
/gnu/store/yz04cj79kv2nn1h59c65d2v72hqw33z6-gmp-6.2.1.drv

Derivation details

Builder/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-guile-3.0.7/bin/guile
Systemx86_64-linux

Build status

Unknown