/gnu/store/lqx8p7fb8rzwlx6r6awidmhpjycqnqk5-coq-ide-server-8.13.2.drv

Inputs

File name
/gnu/store/03rxdfj8mnlqsgxcpn0r80qvvnwdlq7g-bash-minimal-5.0.16.drv
/gnu/store/0samylz4hj4b9vkyx3y283wiag1k1dfl-coq-8.13.2-checkout.drv
/gnu/store/11b9rnr9rv6lg7w3x9zm0m3k7k2by1fd-findutils-4.7.0.drv
/gnu/store/1mrv11v4szh09nlk1vg1id1b3srwq31x-dune-configurator-2.8.5.drv
/gnu/store/3v26f2bxcxq74nbk80cbgdyaqyrp9zhi-grep-3.4.drv
/gnu/store/4h0fnvi0q3dvwc7v8ndgi7p7ww2avdgf-make-4.3.drv
/gnu/store/65x2zc7cihfl0sdkrg3lnrdwcv3bisc1-bzip2-1.0.8.drv
/gnu/store/7fkd9w64lvr2hqp5xa0wk8mn3csvs77m-ocaml-zarith-1.12.drv
/gnu/store/7gkd4b3fzmhdjw0rcwrpln47s21g4z4j-guile-3.0.2.drv
/gnu/store/7jvpzii6lnfy28l7js8fnh88q05yprcz-patch-2.7.6.drv
/gnu/store/a2mwx3r3x4ldb52a3wq3blly66pvmjkc-coreutils-8.32.drv
/gnu/store/ahpc360bs63b3c69zy9nhhy4hc8w0sba-binutils-2.34.drv
/gnu/store/axhiqm9rfdw7lljis45p822jyy553aqk-xz-5.2.4.drv
/gnu/store/axqr85f2yryg55578i6r4ywgzf8ssmvg-tar-1.32.drv
/gnu/store/bg8l04x2jgs66by19822mlghdiiwn958-ocaml-result-1.5.drv
/gnu/store/chw4i6w5jx8b9095q488wlk1zb2lap1j-ocaml-4.11.1.drv
/gnu/store/darx49g4byrlz7i8izgzn3fv5sn52m4z-ocaml-csexp-1.3.2.drv
/gnu/store/g9akxp73bz3v7gz6j2vfy2vpw0jh8mqx-coq-8.13.2.drv
/gnu/store/gp0q5w5rbwbs7m5sr590zzc7sylkq194-linux-libre-headers-5.4.20.drv
/gnu/store/h5vm4xbbl9b8f1inqvrcfg72i3j9549f-gcc-7.5.0.drv
/gnu/store/hfafiscvgchq6wmvwara9mxxh2nq5i9x-module-import-compiled.drv
/gnu/store/idpa2r2lvhizkspba06xjgd38lyfs0nx-dune-2.8.5.drv
/gnu/store/jg0jcdypn2k5l9f4fsg8h76sl1lc76g1-which-2.21.drv
/gnu/store/n1h2iw5j9nqb4qb3i62x2m05akxygahx-diffutils-3.7.drv
/gnu/store/nakckq8k89c8mf9n2r6cxs1dd36pmhmj-ocaml-findlib-1.8.1.drv
/gnu/store/nih5lzr38qbkhq79m0x5mj6a8w06ssfy-glibc-2.31.drv
/gnu/store/qqzk0wpv0xqx2bmi5k7dr8vpwybci9bm-gmp-6.2.0.drv
/gnu/store/shyx24v22rkpgphdzzy6y4h933fzgbm1-file-5.38.drv
/gnu/store/w9hqacy5qawvhy776wcw61n1zfgw2vi5-glibc-utf8-locales-2.31.drv
/gnu/store/wsy1dw40ih1ckrlfbsajan9xsc0w99zg-sed-4.8.drv
/gnu/store/xyl1528fav70gvn1jcq0aqvkr746w0vl-ld-wrapper-0.drv
/gnu/store/y6z3wwb4xl8hha13mw5hg8k3ww5anksw-gawk-5.0.1.drv
/gnu/store/ydv5a7l9p4ilhc8lgvwdz4179gmi5ipy-gzip-1.10.drv

Derivation details

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

Build status

Unknown