dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

vimPlugins.coq_nvim: use pynvim-pp and std2 from nixpkgs

Browse Source
This commit is contained in:
Gaetan Lepage 2023-07-06 08:11:54 +02:00
parent 7c5819f41e
commit 7e128265b7
1 changed files with 2 additions and 38 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
pkgs/applications/editors/vim/plugins/overrides.nix
View File

@ -335,45 +335,9 @@ self: super: {
coq_nvim = super.coq_nvim.overrideAttrs {
passthru.python3Dependencies = ps: with ps; [
pynvim
pynvim-pp
pyyaml
(buildPythonPackage {
pname = "pynvim_pp";
version = "unstable-2023-05-17";
format = "pyproject";
propagatedBuildInputs = [ setuptools pynvim ];
src = fetchFromGitHub {
owner = "ms-jpq";
repo = "pynvim_pp";
rev = "91d91ec0cb173ce19d8c93c7999f5038cf08c046";
fetchSubmodules = false;
hash = "sha256-wycN9U3f3o0onmx60Z4Ws4DbBxsNwHjLTCB9UgjssLI=";
};
meta = with lib; {
homepage = "https://github.com/ms-jpq/pynvim_pp";
license = licenses.gpl3Plus;
maintainers = with maintainers; [ GaetanLepage ];
};
})
(buildPythonPackage {
pname = "std2";
version = "unstable-2023-05-17";
format = "pyproject";
propagatedBuildInputs = [ setuptools ];
src = fetchFromGitHub {
owner = "ms-jpq";
repo = "std2";
rev = "d6a7a719ef902e243b7bbd162defed762a27416f";
fetchSubmodules = false;
hash = "sha256-dtQaeB4Xkz+wcF0UkM+SajekSkVVPdoJs9n1hHQLR1k=";
};
doCheck = true;
meta = with lib; {
homepage = "https://github.com/ms-jpq/std2";
license = licenses.gpl3Plus;
maintainers = with maintainers; [ GaetanLepage ];
};
})
std2
];
# We need some patches so it stops complaining about not being in a venv