/gnu/store/vs668rszl8kiiqc7mk4i6wx05kr5wmwd-
neovim-coqtail-1.7.1-1.d77080e.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0msh2nnjd8s8i2d02jp308vi860a45bv-
glibc-2.35.drv
/gnu/store/195nzcgik3f3ja12hxvjv1mv9bkcd44q-
python-py-1.11.0.drv
/gnu/store/1g252dhxvsr57b5r4bzqlixfgkvnxci9-
python-packaging-bootstrap-21.3.drv
/gnu/store/1kvi0qv71vfvdbfkfn2d628hq358xj25-
python-pytest-7.1.3.drv
/gnu/store/2i5yvimla3m7jkzj9xhy0s97ymq1lsdz-
ld-wrapper-0.drv
/gnu/store/2zkb97ysbpfzbmika0w18rr23vm7n3lb-
python-pynvim-0.4.2.drv
/gnu/store/3m1dqj8vvxll8vvn21y2rcbrc1mig98z-
bash-minimal-5.1.16.drv
/gnu/store/49xa73anq8qrjhis332wlg7ihnf8n87k-
glibc-utf8-locales-2.35.drv
/gnu/store/4lisbymy1p06kpyc4l788bygbg5g1idl-
python-iniconfig-1.1.1.drv
/gnu/store/4xanfnxsj2vvndwbhh5gmmdyb3y1mbxw-
coq-ide-server-8.17.1.drv
/gnu/store/4zsr2cgr99i13sbajv74z10kaw72jrnv-
make-4.3.drv
/gnu/store/5a4gqj7ja3s19zz22fz94i31kf4iq9w1-
module-import-compiled.drv
/gnu/store/6aanrhwa6r800rbvmgdc02if7k78nrxs-
python-msgpack-1.0.4.drv
/gnu/store/7pvpcxxlsy9ld2nqmi4l503wbhbssqnd-
bzip2-1.0.8.drv
/gnu/store/84izdxvixfqgdmgzijqf5d65p8fc9vbh-
python-six-bootstrap-1.16.0.drv
/gnu/store/870zqwm6ax52wlkrbydzrwd77qnwkn43-
patch-2.7.6.drv
/gnu/store/8k5gw4ayns06vkk87h7g6jnvx7pqzbb5-
tar-1.34.drv
/gnu/store/ancgzayhh56asy51wsz5cadw3nsqdfwq-
findutils-4.9.0.drv
/gnu/store/asy71mnlrws1g4arqx7h679yjh6hq7j1-
gcc-11.3.0.drv
/gnu/store/f2a12nk0y52ccbvad5lv4p231rmy22c2-
coq-8.17.1.drv
/gnu/store/far0qggsk51j994lrb21qghdbgpy9wc3-
python-greenlet-2.0.1.drv
/gnu/store/g0jvllpvzwasjhap7yciakv8dnfnfmbf-
sed-4.8.drv
/gnu/store/gmsdxi0l0d04fgdlxx2kgpar5l9ps95g-
gawk-5.2.1.drv
/gnu/store/h3p7r7q1d725gv7m75l2pv30dny8pg6q-
guile-3.0.9.drv
/gnu/store/ig5zrqdqkclxdi41nq3c594x4ns8kryr-
python-minimal-3.10.7.drv
/gnu/store/jmxj5hj7xq68aj5awzm9jmjx98nb6pvw-
gzip-1.12.drv
/gnu/store/k6ncnmg7dvlrd9y6sjk2m4lw1yih1d9r-
grep-3.8.drv
/gnu/store/kv11m7sxallj9ynnk7ywxdxqc35083ya-
linux-libre-headers-5.15.49.drv
/gnu/store/ldgcbz0111f1iwgm7rys5da0vdbrppgg-
file-5.44.drv
/gnu/store/lvhddbbg8q3axc4fv3q2b2rrk5wwp9rv-
neovim-0.9.5.drv
/gnu/store/m36ykc481kqg01w5lkrayxqqd1sxkkm7-
diffutils-3.8.drv
/gnu/store/na0435l986nmzk9vpqzacqx4bi35xkiq-
python-attrs-bootstrap-21.2.0.drv
/gnu/store/pl1n9az0davgsfyzspdwbfbnc8wqfar2-
coq-for-coqtail-8.17.1.drv
/gnu/store/qk00av1v7v8zirwsn0ys48asbacywwla-
python-tomli-2.0.1.drv
/gnu/store/sz86qb9ijbfh09kfamr501abz66c6f51-
coreutils-9.1.drv
/gnu/store/w5g2cvvbajb5jwdns8kpvwx2s6np78p1-
python-pluggy-1.0.0.drv
/gnu/store/wbdb8ag547jhxrdcrak5yfzb0fbpi0k0-
vim-coqtail-1.7.1-1.d77080e-checkout.drv
/gnu/store/x2i4z40vmm9h1nwpn9hqmwgnmb1b94x4-
python-pyparsing-3.0.6.drv
/gnu/store/yskg0k6vbm0s31v0nr6bq3kjk7iga034-
xz-5.2.8.drv
/gnu/store/yx51788kbw95rm9my88qql2xbv11alsm-
binutils-2.38.drv
/gnu/store/z6aqrb81lkdhwzj7vi0vk0y6gk51pwj4-
neovim-vader-0.4.0-1.429b669.drv
Derivation details
Builder
/gnu/store/33nvcq7kmv79i1lrf89qq5ill0bmcq7n-
guile-3.0.9
/bin/guile
System
i686-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-
neovim-coqtail-1.7.1-1.d77080e