/gnu/store/mrzkz16b18g4lnfsc4x4933mmjfgvsi5-
coq-ide-server-8.13.2.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0vdnx6adxgpx97ms72k974nk6qpfg5al-
dune-2.8.5.drv
/gnu/store/2f8nql35nz55vszyax7580j0xi46xdq4-
diffutils-3.7.drv
/gnu/store/2z7kh82j5ycxg0fich08m0lhn5vh46cl-
ocaml-zarith-1.12.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/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/f2mmad0lfaxjpyb5b06bdqianx0camjn-
coreutils-8.32.drv
/gnu/store/gg5nbr38c52cga8nn8mj5vyg23dw4xqb-
coq-8.13.2-checkout.drv
/gnu/store/h3lwvilpkhhjz8qlwp4rj6k66na3rn41-
ocaml-csexp-1.3.2.drv
/gnu/store/j403d2cj7wb5733ridj92ahcvi56wh0c-
coq-8.13.2.drv
/gnu/store/kkhfx5qpibniinaszzw6zhz4kfns0vzq-
dune-configurator-2.8.5.drv
/gnu/store/kymbnfc7lwpqvaqzdjb65dlqmsfjcxsr-
xz-5.2.4.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/sai95vdf7h4m8jifknbmnhvnmh0pqjd5-
gmp-6.2.0.drv
/gnu/store/sc091jjszn22hhz31vrg597plf1j17zb-
make-4.3.drv
/gnu/store/v50769kahmlmqjb9x3vb0xs16nw0g6bl-
glibc-2.31.drv
/gnu/store/vbwgmmchr1r0ckhqp4b9f32bi1f2636b-
tar-1.32.drv
/gnu/store/vvaaxqv93zanxchsb4azc5ccl4grphzh-
ld-wrapper-0.drv
/gnu/store/zabqfr43c6k3l2wm4alfz1n6rnw6nyh8-
ocaml-result-1.5.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
System
mips64el-linux
Build status
Unknown
Outputs
File name
/gnu/store/mkhjprclpg58zij8nmgs4lg3skrc3l91-
coq-ide-server-8.13.2