1 files changed, 0 insertions, 1 deletions

diff --git a/flake.nix b/flake.nix
index e9c35a4..25361d2 100644
--- a/flake.nix
+++ b/flake.nix
@@ -12,7 +12,6 @@
       {
         devShells.default = with pkgs; mkShell {
           buildInputs = [
-            coqPackages.coqide
             coqPackages.stdpp
             coq
           ];