/gnu/store/hl3flniyng7043zjq6v8c2vfzqnin5wi-
coq-ide-server-8.13.2.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/13jdvhs4inkr165blwmqqa6hjmsjlxlz-
grep-3.4.drv
/gnu/store/1kmx9v545f7s3zxc3lpf672n5azy144m-
gzip-1.10.drv
/gnu/store/2vvgqywfswk2fflkwvfw5wwszydz2bl9-
gawk-5.0.1.drv
/gnu/store/30smx25j0vs46w8rhs0l0ya41m7fkn7k-
xz-5.2.4.drv
/gnu/store/31100zqdwmyf88svh45ri1pi33x21rwv-
binutils-2.34.drv
/gnu/store/50wknqrirnppb5i2nlvbyhhnn8p2y88m-
patch-2.7.6.drv
/gnu/store/87b9lgvy17c0mplx23fdqn9hnxvy1k8g-
tar-1.32.drv
/gnu/store/9hiwbfg7vxfa2bivxb5nv4kfpbjxnpx4-
sed-4.8.drv
/gnu/store/cp1n4qwwibx8jwjdrysaa3argqnlr1zd-
ld-wrapper-0.drv
/gnu/store/dvqzal96gmkcfnkzwlynr5i3ppwa7gg5-
ocaml-findlib-1.8.1.drv
/gnu/store/fflz7l9gi4i10ng8m14rab79zw8hk7ya-
ocaml-csexp-1.3.2.drv
/gnu/store/fgnwnryfgm5y1hxpvxh2vl7j0m42nh7l-
file-5.38.drv
/gnu/store/gzjw5z41b08m2jzrw1c5vhgsgk94njqw-
coreutils-8.32.drv
/gnu/store/ikhypklgcp8qszlch2nz2xwf45k78r2h-
bash-minimal-5.0.16.drv
/gnu/store/lbjyns68zjk75y2pjmrr02f9gpvfs71g-
dune-configurator-2.8.5.drv
/gnu/store/mk1h1i1qbah0xvs7yaa28i1nl73qzqfr-
diffutils-3.7.drv
/gnu/store/mnr93bh9xddd5gvy2b6dyh96sgsc3dng-
coq-8.13.2-checkout.drv
/gnu/store/myps1bbvag27cs2zffjlq7rlpb08rris-
module-import-compiled.drv
/gnu/store/n4qiww8n1b8086vvw0lmmlrpbby047wi-
glibc-utf8-locales-2.31.drv
/gnu/store/n8ijr0kcgd9ncjnx7jn4v9yv35hw6m75-
findutils-4.7.0.drv
/gnu/store/nccrdw53i10k9a5r9gkis68h4qm0489n-
make-4.3.drv
/gnu/store/ng5asgq41klakp3q4pfy9ymi8w9y8q4l-
ocaml-4.11.1.drv
/gnu/store/pg7xmb23km1aj7pam1nckq1dlqhzbb89-
guile-3.0.2.drv
/gnu/store/rbqhzlh25bsxbf3s01ahmgh5ys7ylaa6-
ocaml-result-1.5.drv
/gnu/store/rzmv807z8qhqv63p4a2yf6sqcx8pglcc-
gcc-7.5.0.drv
/gnu/store/s66ns0cvdzbshivlvw5ywz0x8wbn55sv-
bzip2-1.0.8.drv
/gnu/store/v5f2wii8ihh7c54p1zj1cxkiq66fcj7b-
which-2.21.drv
/gnu/store/v5n137wh528l4y5yawg6kiz5mrqjxdvj-
gmp-6.2.0.drv
/gnu/store/wvsv3xa2139zcm8cipr5n9a0w3wiw2cd-
dune-2.8.5.drv
/gnu/store/wwqcrjvrcvv8yvb02f3wa8pxw20cysqz-
linux-libre-headers-5.4.20.drv
/gnu/store/xmw7vlkwxi5pynz2zf3bd8r5m59cpm26-
glibc-2.31.drv
/gnu/store/zfg6rnssmp70fm5cvb69fa86nlprzmhd-
coq-8.13.2.drv
/gnu/store/zzcc6prjzpvjd3r1n9q0b1rs8zpaskgr-
ocaml-zarith-1.12.drv
Derivation details
Builder
/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-
guile-3.0.2
/bin/guile
System
armhf-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/kzlk0rdlfwqqzlka852b5cr5m0gjmfi0-
coq-ide-server-8.13.2