1. ✅PR #266859 ("vimPlugins.coq_nvim: update python dependencies")
2. ✅ master
   • ✅ nixpkgs-unstable
   • ✅ nixos-unstable-small
     • ✅ nixos-unstable