/gnu/store/2pqzg696h1snxyyyx17lgi98kjvgb3f0-
neovim-coqtail-1.7.1-1.d77080e.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/049g6fwr78dzraw4hf561hhmaz1r1bzn-
bash-minimal-5.1.16.drv
/gnu/store/09kszjlfvj78ak7nrckaya7yzhrih62v-
python-pyparsing-3.0.6.drv
/gnu/store/0grif07gkpv4157hkykp937pir8ryzpc-
coq-ide-server-8.17.1.drv
/gnu/store/2n5v59hn0cpmnvg1cby8iczfiv9yi6ll-
python-iniconfig-1.1.1.drv
/gnu/store/2npgq8hq6xm02gkh1lg53vk14cp0jhkr-
python-greenlet-2.0.1.drv
/gnu/store/2xnyh5x2rsb79z6vgfbihjzyalpxhppc-
sed-4.8.drv
/gnu/store/2y0b2vq0wb1jwjl6fy9bd7v1x85naryc-
tar-1.34.drv
/gnu/store/4kqaaf6kbfm4vaabhcp2hfwxnzmkg3dz-
python-pytest-7.1.3.drv
/gnu/store/4s4lg7xva8flmcig83gwq787s46imzq9-
ld-wrapper-0.drv
/gnu/store/5a141wjrz9viqc2xyj4jw3yisic0qkal-
patch-2.7.6.drv
/gnu/store/5cgkg8ivaqn6x3z6bq12d5x5zp9bkj3c-
guile-3.0.9.drv
/gnu/store/6262v957401igwwd2m21vvdh4nzrhz43-
gawk-5.2.1.drv
/gnu/store/71g73wqcblgfrxrvsbl8npxc9w6lna5w-
neovim-vader-0.4.0-1.429b669.drv
/gnu/store/79xvq1b0z1xxwz55sfay2pnxcxvhqrx1-
python-pluggy-1.0.0.drv
/gnu/store/7nwmxss37n08qqbfpg56gj3b24b98lq1-
python-pynvim-0.4.2.drv
/gnu/store/7wkig9fj2gfn6sbn6xkcsriw4kqbhr1d-
python-six-bootstrap-1.16.0.drv
/gnu/store/7wxkfyn83z9pbz2i1mm1dnvh7mbk108q-
coreutils-9.1.drv
/gnu/store/8jsfqqj8695khy8rwwzkr2s7bp01v8by-
python-attrs-bootstrap-21.2.0.drv
/gnu/store/8l18cri5253i88cfg7xcy3sj4raqcv96-
grep-3.8.drv
/gnu/store/adgm5s2bdcxlcciiizr36z9s1vhfbciz-
python-tomli-2.0.1.drv
/gnu/store/bjmj0kskm6siq5fag2bb114sz5b2rp5m-
python-py-1.11.0.drv
/gnu/store/bmghf0x1grirxy5ijqcv4d2gy1lkp9f0-
python-minimal-3.10.7.drv
/gnu/store/c0irjf90z92g8ibfd9i7rna43m1srggi-
module-import-compiled.drv
/gnu/store/ff50mx4znydy063lc7064p4mc32vbkwb-
bzip2-1.0.8.drv
/gnu/store/h3hilhh70bbmwfvr42g0vin5ch2rgfz5-
vim-coqtail-1.7.1-1.d77080e-checkout.drv
/gnu/store/inzdm1x6jzzfna9h0brq0m4z9bp3jqw0-
python-packaging-bootstrap-21.3.drv
/gnu/store/jn6j4nml6y5942zyqh44bj911952pyjk-
xz-5.2.8.drv
/gnu/store/kjmxzx2h96qm0z0m6kv1fr5x3d00xspm-
diffutils-3.8.drv
/gnu/store/kppxjmwwh7rc0sjb1zib1w117x486sx4-
binutils-2.38.drv
/gnu/store/ly1w38b7qiy55yny06mpihhzrvspdrbd-
gzip-1.12.drv
/gnu/store/n58bgzxhhavxw62f4kqlvs97a3nd4757-
glibc-2.35.drv
/gnu/store/ny945vd459n09hsa8sf3bx5x05cg55m7-
linux-libre-headers-5.15.49.drv
/gnu/store/p5g0cmy3i23hhnjvjr4sakyb44gpcdlc-
coq-for-coqtail-8.17.1.drv
/gnu/store/pbr5f0qrfxb8pyd7cl7sny6d2z56vsvi-
python-msgpack-1.0.4.drv
/gnu/store/rb36wvgrc07llwwrynjfz314wxq4zyw4-
neovim-0.9.5.drv
/gnu/store/rq3r34h2qrk52p7rcwid596iddrb0q3w-
glibc-utf8-locales-2.35.drv
/gnu/store/rvwrh0dkzxk0iqh66rmi83q36x813pjf-
make-4.3.drv
/gnu/store/w7jh5kg8hg4b9jsdzaz293rv8sc3l2ik-
findutils-4.9.0.drv
/gnu/store/w8adgqxrvlcn371dfqysm54k8900w1lx-
gcc-11.3.0.drv
/gnu/store/xs48vqjmc5ayv5ia7wc3bhmbnwfyg9aq-
coq-8.17.1.drv
/gnu/store/ypq9avm5f1537s05hfnsjfgxwabs8cck-
file-5.44.drv
Derivation details
Builder
/gnu/store/gv89vm65cmwma7gfw153hgg1cwrd94rm-
guile-3.0.9
/bin/guile
System
aarch64-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-
neovim-coqtail-1.7.1-1.d77080e