diff --git a/flake.nix b/flake.nix
index 097745c..5d7c5ac 100644
--- a/flake.nix
+++ b/flake.nix
@@ -17,15 +17,10 @@
     devShells = forAllSystems (_: pkgs: {
       default = pkgs.mkShell {
         packages = with pkgs; [
-          coq_8_18
-          coqPackages_8_18.stdlib
-          coqPackages_8_18.vsrocq-language-server
+          rocqPackages.rocq-core
+          rocqPackages.stdlib
+          rocqPackages.vsrocq-language-server
         ];
-
-        shellHook = ''
-          export ROCQPATH="$COQPATH"
-          unset COQPATH
-        '';
       };
     });
   };