/gnu/store/5dh27vh7ammzdv9wah6mz8w6mn1c3b1g-
neovim-coqtail-1.7.1-1.d77080e.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/08gljwrllw6z0clx6gh5mxhw14kaydsz-
file-5.44.drv
/gnu/store/0mq1qw2g4sv6rim9kwk48shqpzwzl8vy-
coq-ide-server-8.17.1.drv
/gnu/store/4bs8ydvhn7ppbnzmylya6n4ypcdq04dj-
glibc-utf8-locales-2.35.drv
/gnu/store/4xf0nmapz775x7n3619432jxm6kamid6-
neovim-0.9.5.drv
/gnu/store/5ngikb74hv6f19li3y7jhqcrlsf1fns0-
diffutils-3.8.drv
/gnu/store/6p2waq0rrp0wvxq8cg22b2ydpi9j0grs-
gzip-1.12.drv
/gnu/store/7hhfl8dcnji0sjzmiikpxrhaqc8zgnjx-
python-six-bootstrap-1.16.0.drv
/gnu/store/7i09iq94sa5i9jqpbfcz6sf91ni1vb7n-
python-pytest-7.1.3.drv
/gnu/store/8mswpkzqzbffj0kha178vc1frs3zsbfh-
linux-libre-headers-5.15.49.drv
/gnu/store/8rx7ba145mqxrmws17ai4bx43rcqc7cf-
python-py-1.11.0.drv
/gnu/store/8s0lzr1x84y253pny5kn04i84d3ym09n-
patch-2.7.6.drv
/gnu/store/9c8930igbb8wl7mniw9fr9mqvcl435zg-
bzip2-1.0.8.drv
/gnu/store/ac3zi68mfi3v77jfankcyvnzmjvlxlak-
glibc-2.35.drv
/gnu/store/am9gp1hgbqgd0l6d8s67gwll853lrnra-
python-minimal-3.10.7.drv
/gnu/store/bqldz37dpcfbq30s4vmdyjaj2vrn55hz-
make-4.3.drv
/gnu/store/ci9j87ib8xy97hjpbg63qldhph4fzl4l-
python-pynvim-0.4.2.drv
/gnu/store/cmpyp2ci5sc0bd5zdjylnjrqvk0272cn-
xz-5.2.8.drv
/gnu/store/czpnbnk27wyp3a3gbpqfkynhlkb95pzr-
coq-8.17.1.drv
/gnu/store/d9k1hh1h1clqxvsl6sllygb4zhwb0byx-
sed-4.8.drv
/gnu/store/fvcjxdv4mv06ywb5z603758qzg3wgk6c-
python-iniconfig-1.1.1.drv
/gnu/store/g7hzc5jqjhd9bdxkm0gqv4s3dx2fa3vp-
bash-minimal-5.1.16.drv
/gnu/store/jn6j4jhqqw1yzqg03yia2vhj7ngmfh5y-
module-import-compiled.drv
/gnu/store/lx07lz2h7qrjdrcb883sxwxdksgvqsnx-
python-msgpack-1.0.4.drv
/gnu/store/nsvp3l4fnkb0w2d2w31hc9kk3scy5fxv-
guile-3.0.9.drv
/gnu/store/px9y7b364k2mvdhgbjg5pqh1gkra564k-
python-packaging-bootstrap-21.3.drv
/gnu/store/pzyhml8vw1dpap276lzg78sddpi4hs1p-
grep-3.8.drv
/gnu/store/qhdwqax6pr0nkxzs7ds26qz54pxxqx7g-
vim-coqtail-1.7.1-1.d77080e-checkout.drv
/gnu/store/qk3zn7vp3nqyhxzd5kfn5dcq0rdlpnk5-
python-tomli-2.0.1.drv
/gnu/store/qp76lpjkhmj7spfksz91kymm15x6yapv-
python-attrs-bootstrap-21.2.0.drv
/gnu/store/qxwaq98gqxrc0wz8bj29jyhazn4bvnml-
neovim-vader-0.4.0-1.429b669.drv
/gnu/store/r80n1qwy2k1fpiz408k8vybggn426fn2-
python-pluggy-1.0.0.drv
/gnu/store/r9ynip6yn0hzyd0dhb91m0j0fj8wsy85-
findutils-4.9.0.drv
/gnu/store/shdwbscqc3fpn4h475z1my0scvjr27pi-
coq-for-coqtail-8.17.1.drv
/gnu/store/vqd1v74ji9wgqzymms9cvb47cg705x3b-
gcc-11.3.0.drv
/gnu/store/w019h73krryasi9k23zn2bfh31n87cp8-
binutils-2.38.drv
/gnu/store/wbxg3pxvvxjr1x63jlxg7vr6wv0yir16-
coreutils-9.1.drv
/gnu/store/ws646myqbq10b1xhj6g9pfnjbd6s00c5-
python-pyparsing-3.0.6.drv
/gnu/store/x8yhmibfc5j1xzrr05svbfxnmma1jiib-
ld-wrapper-0.drv
/gnu/store/yzcwdgvprdsqf1p2x48ks41rd06r6zdv-
gawk-5.2.1.drv
/gnu/store/zslw0531anb2fwm1q32w0d4wdra08bwm-
python-greenlet-2.0.1.drv
/gnu/store/zznwy4aapjg5qvh06hixdnk54dwn79j3-
tar-1.34.drv
Derivation details
Builder
/gnu/store/27kcqx14b8vhrihv9k2f5dhx64sii12w-
guile-3.0.9
/bin/guile
System
riscv64-linux
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/zzfql1ppxk63k5lb1h6ds4bwwwc895hb-
neovim-coqtail-1.7.1-1.d77080e