diff --git a/plugins/_sources/generated.json b/plugins/_sources/generated.json
index 3754d0c3..9e26dfee 100644
--- a/plugins/_sources/generated.json
+++ b/plugins/_sources/generated.json
@@ -1,62 +1 @@
-{
-    "coq-nvim": {
-        "cargoLocks": null,
-        "date": "2023-03-26",
-        "extract": null,
-        "name": "coq-nvim",
-        "passthru": null,
-        "pinned": false,
-        "src": {
-            "deepClone": false,
-            "fetchSubmodules": false,
-            "leaveDotGit": false,
-            "name": null,
-            "owner": "ms-jpq",
-            "repo": "coq_nvim",
-            "rev": "8847707462e5d89a0043e7846439e180b9dfb04f",
-            "sha256": "sha256-AynBc+TnBBFu+h/ejimgIF+7XyKatv1W81/frzZ4Dto=",
-            "type": "github"
-        },
-        "version": "8847707462e5d89a0043e7846439e180b9dfb04f"
-    },
-    "pynvim_pp": {
-        "cargoLocks": null,
-        "date": "2023-03-26",
-        "extract": null,
-        "name": "pynvim_pp",
-        "passthru": null,
-        "pinned": false,
-        "src": {
-            "deepClone": false,
-            "fetchSubmodules": false,
-            "leaveDotGit": false,
-            "name": null,
-            "owner": "ms-jpq",
-            "repo": "pynvim_pp",
-            "rev": "28b86c08b5906401fe661b3cb01f212d4229d146",
-            "sha256": "sha256-DEA+LdWNLzOTAwHSFc44ozlK2kqk+XV2GKyBAqifUJY=",
-            "type": "github"
-        },
-        "version": "28b86c08b5906401fe661b3cb01f212d4229d146"
-    },
-    "std2": {
-        "cargoLocks": null,
-        "date": "2023-03-26",
-        "extract": null,
-        "name": "std2",
-        "passthru": null,
-        "pinned": false,
-        "src": {
-            "deepClone": false,
-            "fetchSubmodules": false,
-            "leaveDotGit": false,
-            "name": null,
-            "owner": "ms-jpq",
-            "repo": "std2",
-            "rev": "360d30e19f17e38dba8cf05c9d41d0901a168d83",
-            "sha256": "sha256-3ugG2OieAVOxUylFLAb5EvZNkeEZb3DHYhGgqlMn8qg=",
-            "type": "github"
-        },
-        "version": "360d30e19f17e38dba8cf05c9d41d0901a168d83"
-    }
-}
\ No newline at end of file
+{}
\ No newline at end of file
diff --git a/plugins/_sources/generated.nix b/plugins/_sources/generated.nix
index db605b90..40a3bd16 100644
--- a/plugins/_sources/generated.nix
+++ b/plugins/_sources/generated.nix
@@ -1,40 +1,5 @@
 # This file was generated by nvfetcher, please do not modify it manually.
 { fetchgit, fetchurl, fetchFromGitHub, dockerTools }:
 {
-  coq-nvim = {
-    pname = "coq-nvim";
-    version = "8847707462e5d89a0043e7846439e180b9dfb04f";
-    src = fetchFromGitHub ({
-      owner = "ms-jpq";
-      repo = "coq_nvim";
-      rev = "8847707462e5d89a0043e7846439e180b9dfb04f";
-      fetchSubmodules = false;
-      sha256 = "sha256-AynBc+TnBBFu+h/ejimgIF+7XyKatv1W81/frzZ4Dto=";
-    });
-    date = "2023-03-26";
-  };
-  pynvim_pp = {
-    pname = "pynvim_pp";
-    version = "28b86c08b5906401fe661b3cb01f212d4229d146";
-    src = fetchFromGitHub ({
-      owner = "ms-jpq";
-      repo = "pynvim_pp";
-      rev = "28b86c08b5906401fe661b3cb01f212d4229d146";
-      fetchSubmodules = false;
-      sha256 = "sha256-DEA+LdWNLzOTAwHSFc44ozlK2kqk+XV2GKyBAqifUJY=";
-    });
-    date = "2023-03-26";
-  };
-  std2 = {
-    pname = "std2";
-    version = "360d30e19f17e38dba8cf05c9d41d0901a168d83";
-    src = fetchFromGitHub ({
-      owner = "ms-jpq";
-      repo = "std2";
-      rev = "360d30e19f17e38dba8cf05c9d41d0901a168d83";
-      fetchSubmodules = false;
-      sha256 = "sha256-3ugG2OieAVOxUylFLAb5EvZNkeEZb3DHYhGgqlMn8qg=";
-    });
-    date = "2023-03-26";
-  };
+  
 }
diff --git a/plugins/nvfetcher.toml b/plugins/nvfetcher.toml
index fcd1de7f..e69de29b 100644
--- a/plugins/nvfetcher.toml
+++ b/plugins/nvfetcher.toml
@@ -1,11 +0,0 @@
-[coq-nvim]
-src.git = "https://github.com/ms-jpq/coq_nvim"
-fetch.github = "ms-jpq/coq_nvim"
-
-[std2]
-src.git = "https://github.com/ms-jpq/std2"
-fetch.github = "ms-jpq/std2"
-
-[pynvim_pp]
-src.git = "https://github.com/ms-jpq/pynvim_pp"
-fetch.github = "ms-jpq/pynvim_pp"
diff --git a/plugins/plugin-defs.nix b/plugins/plugin-defs.nix
index 13081302..928b185f 100644
--- a/plugins/plugin-defs.nix
+++ b/plugins/plugin-defs.nix
@@ -5,30 +5,4 @@
 # You can update the plugins by running `nvfetcher` in this directory
 {pkgs, ...}: let
   sources = pkgs.callPackage ./_sources/generated.nix {};
-in {
-  coq-nvim = pkgs.vimUtils.buildVimPlugin {
-    inherit (sources.coq-nvim) pname version src;
-
-    passthru.python3Dependencies = ps: [
-      ps.pynvim
-      ps.pyyaml
-      (ps.buildPythonPackage {
-        inherit (sources.pynvim_pp) pname version src;
-
-        propagatedBuildInputs = [pkgs.python3Packages.pynvim];
-      })
-      (ps.buildPythonPackage {
-        inherit (sources.std2) pname version src;
-        doCheck = true;
-      })
-    ];
-
-    # We need some patches so it stops complaining about not being in a venv
-    postPatch = ''
-      substituteInPlace coq/consts.py \
-        --replace "VARS = TOP_LEVEL / \".vars\"" "VARS = Path.home() / \".cache/home/vars\"";
-      substituteInPlace coq/__main__.py \
-        --replace "_IN_VENV = _RT_PY == _EXEC_PATH" "_IN_VENV = True"
-    '';
-  };
-}
+in {}