/gnu/store/jj5vx49qywjrhagbncb8glqr8qwajgd4-
neovim-coqtail-1.7.1-1.d77080e.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/08ajrzszdm3yhxgh4f81dj60cysqp1ba-
python-tomli-2.0.1.drv
/gnu/store/0x13xxw0zcrmb31rcfg5dalwjjg51g9n-
coreutils-9.1.drv
/gnu/store/241mc4a4wa67bdxkkxxn3qripvg1rvw4-
python-iniconfig-1.1.1.drv
/gnu/store/246809p7l2xxrpg07vcx46w5rrah38vr-
python-pluggy-1.0.0.drv
/gnu/store/2nsll3xmcn8v1gi7c99f3n83alf7z5zh-
glibc-utf8-locales-2.35.drv
/gnu/store/47q5j0386kj6v02qpfj6rdqwb4nlwcnz-
xz-5.2.8.drv
/gnu/store/bfvyyksjizi00sw8zs96nhjqjn2msadr-
coq-for-coqtail-8.17.1.drv
/gnu/store/c13fcx4ll3yh49kswx1wnki4bnnqarmj-
bzip2-1.0.8.drv
/gnu/store/d8ml0h3j5w16m3393v1sq9abajnzbpjg-
python-six-bootstrap-1.16.0.drv
/gnu/store/df9rb6k712raqswd0f0j83w9l0d74yc7-
linux-libre-headers-5.15.49.drv
/gnu/store/di9lqgjjdg1r2h10nrxm0kq19bsc18lv-
python-pynvim-0.4.2.drv
/gnu/store/dri6y5y5n5fm53ig8nakkvgds97v633g-
gcc-11.3.0.drv
/gnu/store/dxqp30nnj9znqaip14kknsjms396y0r2-
tar-1.34.drv
/gnu/store/dzb215gfcq8aqnif45ssrbq0zi19sddn-
vim-coqtail-1.7.1-1.d77080e-checkout.drv
/gnu/store/hcdx54nchz03c1n3mpnjd2zprd49jj1p-
python-minimal-3.10.7.drv
/gnu/store/i2f2vjmqj9jznp7m5w4la1cgsj76ia01-
gawk-5.2.1.drv
/gnu/store/i764cp2avyj908sihdmmv5ikmbzq49xi-
make-4.3.drv
/gnu/store/ic6yylfyl3ssix8nmh4vh0vgqbhch6ck-
patch-2.7.6.drv
/gnu/store/ik9vl619zdjlbajyrcncy42zfnqnp53x-
diffutils-3.8.drv
/gnu/store/j7qfi46vfwwz9x9parv12vd0jqlhnibn-
python-pyparsing-3.0.6.drv
/gnu/store/j89psylpm3ny8q60jsdmal3j50rkbc4c-
gzip-1.12.drv
/gnu/store/jfmzijjzadkzxr7qjyi61zlxc5bamla3-
coq-8.17.1.drv
/gnu/store/ky42a0jkhzmv30yxmfd89l0phiahkiyj-
python-packaging-bootstrap-21.3.drv
/gnu/store/mwic8jkyv58lbs36rxjf3y0i6n682ghw-
ld-wrapper-0.drv
/gnu/store/mxa4a2h2ljkr1kxwdn7h254iiyajkqrc-
findutils-4.9.0.drv
/gnu/store/n3jxj6fgzbl2z5pglqi8gi6yjzfb3r27-
python-pytest-7.1.3.drv
/gnu/store/ncj95mxfmdk24n8fdhw8m94yc0yjsilc-
binutils-2.38.drv
/gnu/store/nfrb4l81cgmgpdmshnyfs8qal3fh2w43-
glibc-2.35.drv
/gnu/store/nvfk4sbmkhsq645snjqgkpzf9i4mbxvl-
neovim-vader-0.4.0-1.429b669.drv
/gnu/store/q4zrfc2kmlhvxdx7dqmqfspr7wpg3chm-
coq-ide-server-8.17.1.drv
/gnu/store/rf2izf4ga782ziw2ygwpy64yhdxg031h-
python-msgpack-1.0.4.drv
/gnu/store/s38wynahjcfpx3sm14wcln6x63yf9fj2-
grep-3.8.drv
/gnu/store/s8wpn3dyqhbm5jx0iivixwxkzi7kx6wy-
bash-minimal-5.1.16.drv
/gnu/store/swzjkns2lm4cndb2jccp7cc9vz5sajxq-
python-attrs-bootstrap-21.2.0.drv
/gnu/store/szzx8g1w296kblslj72rn44v3a2p2mpn-
module-import-compiled.drv
/gnu/store/vhaicbvc8lzzhzj36y811klsrl78wayd-
sed-4.8.drv
/gnu/store/xfgvcjbrc81imi0j5phwx19jj7r4a9d5-
file-5.44.drv
/gnu/store/xhzqg8yhz153b84nn7bbr616qwyy9jya-
python-greenlet-2.0.1.drv
/gnu/store/xy0fj97sbi621fdxvggvzr23bnqqv03f-
neovim-0.9.5.drv
/gnu/store/y4mc6f2wdqjx5akpxybzricyiwyklq22-
guile-3.0.9.drv
/gnu/store/zqk3qmmz6qq1qh6prpqc2f049f7v3z8f-
python-py-1.11.0.drv
Derivation details
Builder
/gnu/store/q08z1n1lns4ny7pcd1c5lbx2s96z2zm3-
guile-3.0.9
/bin/guile
System
powerpc64le-linux
Build status
Canceled
View build on https://bordeaux.guix.gnu.org/
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/6ki82pcqpm2s52bb7qsx6pxzbcji9aa7-
neovim-coqtail-1.7.1-1.d77080e