/gnu/store/yrimwvksccx75p4s7b0cqx9964rsniqi-
neovim-coqtail-1.7.1-1.d77080e.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0van36pd0pgiqfw2jcws9l3hz8ackln6-
python-attrs-bootstrap-21.2.0.drv
/gnu/store/13dyl4yk3xa34w13fmqdx7n5kic2cr4g-
neovim-0.9.5.drv
/gnu/store/2gifavm68jk91fky1nnafdhhwmhldcwf-
python-iniconfig-1.1.1.drv
/gnu/store/2xavwkc05npwadxxg4bgkky4hywq3xcs-
binutils-2.38.drv
/gnu/store/3fbyrqagi31mgw82x1b4vchmdj76124f-
python-minimal-3.10.7.drv
/gnu/store/4gilq6qfsjgy0gl4nzrrv70mizrvl86a-
gawk-5.2.1.drv
/gnu/store/4ny5ls3zmg9s1zjw3lpqq69d34ldsyk8-
coreutils-9.1.drv
/gnu/store/4ykzmhq0i34mi3hzgnla8flkknlw2yf3-
python-pynvim-0.4.2.drv
/gnu/store/5bgc3a49mgj8kiw0y4dg1b79q416fydx-
python-py-1.11.0.drv
/gnu/store/60055a8bvwahrlryy85dc0m5nxzllcc0-
make-4.3.drv
/gnu/store/7h47rwjdc60hywymhj9rpzzkn3yxs4jg-
findutils-4.9.0.drv
/gnu/store/87bjkkdb6nplpkjw7r34q5a2x8c5k3kp-
python-pytest-7.1.3.drv
/gnu/store/87lmqkd30xhlg1m3mccab8rh66849p5p-
gzip-1.12.drv
/gnu/store/8s6r3nfg6p365g0shm45blnjmvhwhcj1-
neovim-vader-0.4.0-1.429b669.drv
/gnu/store/9iy02niyaikfn8yiw4flk4fm7qgljhhr-
xz-5.2.8.drv
/gnu/store/aldy9vmians0jjmwr0h6ld6cyb211kxw-
glibc-2.37.drv
/gnu/store/azhxdjp452qw38gyqqjipdvcw2snwvxl-
sed-4.8.drv
/gnu/store/bkjd224h3w7pz41647pnd96yra206nyb-
patch-2.7.6.drv
/gnu/store/cg23g4rqw6fvrfip5744h25cfc76nz56-
gcc-11.3.0.drv
/gnu/store/cmsz2k5xsd4n2jjsvn8nwc3xgdn5hp1i-
coq-ide-server-8.17.1.drv
/gnu/store/cprhdlys429brshj2hsilwim76h9wll4-
glibc-utf8-locales-2.37.drv
/gnu/store/f670zh3wkys8ghndnp2w84wf6as1hnlp-
diffutils-3.8.drv
/gnu/store/hxpmzz9cqhxlxh258vnplwq933zr0f76-
coq-8.17.1.drv
/gnu/store/i26zpy3y1l1sf5pg4j0zr7l686kb2mw3-
python-msgpack-1.0.4.drv
/gnu/store/k2ds92wr0vnfxz36vsyn6vfvl4gr72z8-
python-pyparsing-3.0.6.drv
/gnu/store/kcx8140991lynphajd0nhcizrx453g37-
bash-minimal-5.1.16.drv
/gnu/store/ki3g04sa1j4gr6rhxlddnl7irj11k1ip-
tar-1.34.drv
/gnu/store/l18mbg46n27qnznnsvqq2gryd5hi6x7r-
vim-coqtail-1.7.1-1.d77080e-checkout.drv
/gnu/store/lnjy2gya695s2nyb5l013hnxlwdh3vzl-
coq-for-coqtail-8.17.1.drv
/gnu/store/np31bnbm1hsrdnrnhqmja4r0y3zfpw2c-
file-5.44.drv
/gnu/store/p7kip8k4rgmkz4blpr3k1s0343p3pn1v-
python-greenlet-2.0.1.drv
/gnu/store/qc5yqjs9mh560dcbwflxdb7b8ss8flfw-
grep-3.8.drv
/gnu/store/qzji6i0dccyb480v0zhyawj0imlfqknw-
python-tomli-2.0.1.drv
/gnu/store/rl5rzg8byy4ryh0y3dbr61jl7z5b2mmh-
bzip2-1.0.8.drv
/gnu/store/sdif7binzn3vdqaxjszjslzq9gz19vs6-
python-six-bootstrap-1.16.0.drv
/gnu/store/vbc5bd3nh8wxlzd069pj1gnmwg1rdyh6-
ld-wrapper-0.drv
/gnu/store/vwgck2xkpja0j7j20iallwf9kklashj4-
python-pluggy-1.0.0.drv
/gnu/store/w2a7d534lg072a0dd4svddmhqk91045m-
module-import-compiled.drv
/gnu/store/x8ws7xmrq89jnynymqh1n8cg2k3yg6pl-
python-packaging-bootstrap-21.3.drv
/gnu/store/zarpyyp8accjcrbpvmaq5msjs26djdz1-
guile-3.0.9.drv
/gnu/store/zfv1002ajdihdnb3prn0id42q3hrc3iz-
hurd-core-headers-v0.9.git20230216.drv
Derivation details
Builder
/gnu/store/ka38dlx1jwwz0q6bfycygxsmzm9a9xk5-
guile-3.0.9
/bin/guile
System
i586-gnu
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/pcndpfvh6czw6d29clii4fga5d03jbab-
neovim-coqtail-1.7.1-1.d77080e