about summary refs log tree commit diff
path: root/pkgs/applications/editors/vim/plugins/generated.nix
diff options
context:
space:
mode:
authorPhilipp Joram <nixpkgs@phijor.me>2024-04-30 15:49:48 +0300
committerPhilipp Joram <nixpkgs@phijor.me>2024-05-15 18:07:18 +0300
commit7d40080053f9c235e2128bd5259e9c517536d7f6 (patch)
tree14fd5ae64a9b6f6ab262e07080511f351043ec62 /pkgs/applications/editors/vim/plugins/generated.nix
parent465ae2d5992534eeac1d90cda289271ab81c97b8 (diff)
vimPlugins.cornelis: init at 2024-04-17
Diffstat (limited to 'pkgs/applications/editors/vim/plugins/generated.nix')
-rw-r--r--pkgs/applications/editors/vim/plugins/generated.nix12
1 files changed, 12 insertions, 0 deletions
diff --git a/pkgs/applications/editors/vim/plugins/generated.nix b/pkgs/applications/editors/vim/plugins/generated.nix
index 1f59cc3e35411..31e70d7247ad5 100644
--- a/pkgs/applications/editors/vim/plugins/generated.nix
+++ b/pkgs/applications/editors/vim/plugins/generated.nix
@@ -2634,6 +2634,18 @@ final: prev:
     meta.homepage = "https://github.com/ms-jpq/coq_nvim/";
   };
 
+  cornelis = buildVimPlugin {
+    pname = "cornelis";
+    version = "2024-04-17";
+    src = fetchFromGitHub {
+      owner = "isovector";
+      repo = "cornelis";
+      rev = "c97b4817034a927dcadb22294cf97a88087a935f";
+      sha256 = "03wkq7jly9syv7kqsf66hdq8p7fqk6a240azcys9fsak797nbs1a";
+    };
+    meta.homepage = "https://github.com/isovector/cornelis/";
+  };
+
   cosco-vim = buildVimPlugin {
     pname = "cosco.vim";
     version = "2018-08-07";