/gnu/store/z2n3mib6dnasw704h2b1lfydlsvqhhhi-
neovim-coqtail-1.7.1-1.d77080e.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/04qc50150p888535k50a0cbwc2k9xsyf-
python-tomli-2.0.1.drv
/gnu/store/0hphsy813j59bbk3p063hy9yxgds3szl-
python-pytest-7.1.3.drv
/gnu/store/11nppnfvdhxmwbzzmmnaqqgxwpks8d53-
coq-8.17.1.drv
/gnu/store/2by3mx3v6d9va0rqbm1rx0lrrzz1vhnb-
python-packaging-bootstrap-21.3.drv
/gnu/store/2whryj4arldkfl288cz69b5m8fmk6pc0-
neovim-vader-0.4.0-1.429b669.drv
/gnu/store/2ynqi9i2cz0hbqkpvmyvgjjqann1ig6g-
neovim-0.9.5.drv
/gnu/store/311mh01j7g6s47s12lw5k2b5lcrabpq0-
coreutils-9.1.drv
/gnu/store/60ibcicfhfhm1lirwy04wcljnwic45i3-
vim-coqtail-1.7.1-1.d77080e-checkout.drv
/gnu/store/7q1vvdl9d4055grsxxz25gpagjpsxvwp-
ld-wrapper-0.drv
/gnu/store/aicp6gi3jgc5x8xhnr3d83n9r3hz88zn-
binutils-2.38.drv
/gnu/store/bcbawhw84k5qxa2yjgd1k02q6g1xqr9z-
bzip2-1.0.8.drv
/gnu/store/c1ji8i7zr8zhm7ni4b08w0brkk5s0d8m-
gawk-5.2.1.drv
/gnu/store/chhqbqvi4c4mprkvfpqsxj4h8sg10wk8-
python-pluggy-1.0.0.drv
/gnu/store/dk22d36y5j6sjz422skbjcz14y4pqpkp-
guile-3.0.9.drv
/gnu/store/dwrvgxw74chdx8bqzfzk93xrc9wk6zmg-
python-greenlet-2.0.1.drv
/gnu/store/gpq6f60k6wlan94xam0dgvmnq33zilqh-
python-pyparsing-3.0.6.drv
/gnu/store/gwg9xnks3yvv4w5cshgrvray8jpwly43-
file-5.44.drv
/gnu/store/hsl0vhcq5w8jz7862i1mfpawdw5zmrkb-
patch-2.7.6.drv
/gnu/store/iaa23z5cwraba4q1gxxq5x3gxqrh7v31-
module-import-compiled.drv
/gnu/store/jmmr7vik7bcixv7q51q7hrbz278dd9mw-
python-minimal-3.10.7.drv
/gnu/store/klx96wj9v9dfpcr50p54546dvwwdk9gk-
glibc-2.35.drv
/gnu/store/l68dya99v89f9gqax0ywizg313q15v5l-
tar-1.34.drv
/gnu/store/lqxpyc062q1v12xafi2b7pvhyv6qs26z-
gcc-11.3.0.drv
/gnu/store/mjb1yk5d4gcq7r5j7xyy9mrqjq65vmik-
sed-4.8.drv
/gnu/store/ms26bxbnzl4wp7fbrxb3lwcg88w05kl5-
python-iniconfig-1.1.1.drv
/gnu/store/n5yk39bm7m5lq9cbz7b0zc8nkak8dxj2-
python-attrs-bootstrap-21.2.0.drv
/gnu/store/nbbl7c3b5xm1nxhkcbkrwr6iycqzrff0-
xz-5.2.8.drv
/gnu/store/nh39nrigg0szdnw5vgmn9gv6a984v1iy-
make-4.3.drv
/gnu/store/nzw6mvsd5xr4bsgrcsj7l28w478sbgqg-
linux-libre-headers-5.15.49.drv
/gnu/store/p1q8572yj74x30y39zbq5gny3smfdfs1-
python-pynvim-0.4.2.drv
/gnu/store/pq2dy02s9r0f841xqpayfdxdavvfrkc7-
coq-for-coqtail-8.17.1.drv
/gnu/store/q6v5g767hpzf54v32g5k5b8aq1mq1vs4-
diffutils-3.8.drv
/gnu/store/r5f9fxldf04xzi260apf8n2i61vl166m-
gzip-1.12.drv
/gnu/store/sww2v32gbl0g82yk0j76agqxwq9rxab6-
glibc-utf8-locales-2.35.drv
/gnu/store/viik4gl5h5fg9p07jjndmc38kv8p5af6-
bash-minimal-5.1.16.drv
/gnu/store/ww7sr9k4wvhn7q48y3k0wxajfslkyl0v-
grep-3.8.drv
/gnu/store/wxkhqmnq2vycq51ywf8x49j2v8831bp2-
python-six-bootstrap-1.16.0.drv
/gnu/store/xac2x6pg429hjvyw7qr57j6nx127r9by-
python-py-1.11.0.drv
/gnu/store/y3ml7fh756m550h8xn02s26g4yyjl7nh-
python-msgpack-1.0.4.drv
/gnu/store/ylf4889g58rpc9k76xmnxbx5x8lwdn96-
coq-ide-server-8.17.1.drv
/gnu/store/yyy4597n6flffqjyxmqay7sv5vdxbr9x-
findutils-4.9.0.drv
Derivation details
Builder
/gnu/store/ily4hys0cpaxxnaaglalrr0v80dr5q8n-
guile-3.0.9
/bin/guile
System
armhf-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/4r6pbjl0wwk1qmjpl8r7k0kil49jl57d-
neovim-coqtail-1.7.1-1.d77080e