/gnu/store/5clpw480zp1grk3scc1lgvnvagj4vmvd-coq-ide-server-8.13.2.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/2f8nql35nz55vszyax7580j0xi46xdq4-diffutils-3.7.drv
/gnu/store/2syrwjmdlfm1rg2axngy6636y3ra577r-ocaml-result-1.5.drv
/gnu/store/3ibmyknh8zbvs87l57hgybx7rl0jwnhl-file-5.38.drv
/gnu/store/42v8cjiqypz81xmk3rpf9f1j27cfvivh-grep-3.4.drv
/gnu/store/55ldcnic4g6xwiikil6h24ffvbl32mmd-gawk-5.0.1.drv
/gnu/store/56kaxlry1m80pz7f15f89nrrg662jp9a-coq-8.13.2-checkout.drv
/gnu/store/5j78nzvc4s83kgrd92zb8p9lkwb1wafm-which-2.21.drv
/gnu/store/80brs5sc5qv621cr3sxcqarn7vg9inbh-patch-2.7.6.drv
/gnu/store/8ywysld6ki4h4hnw0djrvy21mxdaa0hs-glibc-utf8-locales-2.31.drv
/gnu/store/a4xda9rbmphmkfx21mqjwzlzhglb8hb2-findutils-4.7.0.drv
/gnu/store/a76y4a6724v2n97lphii9qc7vk9bm0xx-sed-4.8.drv
/gnu/store/b305l2w11jqcwgmrphsavhnklc0aif1k-module-import-compiled.drv
/gnu/store/c3iva3xkd4b7piv4jlghnzyqn2ph1n53-ocaml-4.11.1.drv
/gnu/store/dfw8d6i987pylq5vjryik7mwdx1izjxq-ocaml-findlib-1.8.1.drv
/gnu/store/dx734b05y04jdyckk1q5yx4xwzb0k5q4-gzip-1.10.drv
/gnu/store/dyvksjdqkzf8k3k8rb4yxdchw0438yr6-dune-2.8.5.drv
/gnu/store/f2mmad0lfaxjpyb5b06bdqianx0camjn-coreutils-8.32.drv
/gnu/store/hmibw9kh7645hnl6aphqkrk5hhk9kwdr-dune-configurator-2.8.5.drv
/gnu/store/kymbnfc7lwpqvaqzdjb65dlqmsfjcxsr-xz-5.2.4.drv
/gnu/store/lhnwxvpdx0q9sk3zspgw345hq45ksf3m-coq-8.13.2.drv
/gnu/store/m3inzwmki9igqlwmcjlv8d5ynrlzcxr6-bzip2-1.0.8.drv
/gnu/store/ncyzx4f3b0l9lvk928z4knwdqrbaxcdb-bash-minimal-5.0.16.drv
/gnu/store/qr41cfpzjnzlhiyy7k7d4qiwszvx1dwv-gcc-7.5.0.drv
/gnu/store/qr5xc14qh24xswrbwvb06n0fd6imwgfy-ocaml-zarith-1.12.drv
/gnu/store/sai95vdf7h4m8jifknbmnhvnmh0pqjd5-gmp-6.2.0.drv
/gnu/store/sc091jjszn22hhz31vrg597plf1j17zb-make-4.3.drv
/gnu/store/spm1kg2gmi9v2vvkx837ylq50f606jxd-ocaml-csexp-1.3.2.drv
/gnu/store/v50769kahmlmqjb9x3vb0xs16nw0g6bl-glibc-2.31.drv
/gnu/store/vbwgmmchr1r0ckhqp4b9f32bi1f2636b-tar-1.32.drv
/gnu/store/vvaaxqv93zanxchsb4azc5ccl4grphzh-ld-wrapper-0.drv
/gnu/store/zbncnnm4scdc5q7pifrdi24mmq9qxsms-linux-libre-headers-5.4.20.drv
/gnu/store/zg8s7plz3dknfs7b28nzs3p7k78c2qjg-binutils-2.34.drv
/gnu/store/zhi68lhqqqdz4j8s44c8lm734i8kaffx-guile-3.0.2.drv

Derivation details

Builder/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile
Systemmips64el-linux

Build status

Unknown

Outputs

File name
/gnu/store/mkhjprclpg58zij8nmgs4lg3skrc3l91-coq-ide-server-8.13.2