Hi Guix, Company-coq is indispensable when working in coq for me. Thanks for your patience with all these patches as I try to only use guix for emacs package management. - John