flake.nix: bump rocq version from 8 to 9

2026-06-26 03:24:57 +09:00
parent fece1295da
commit 7cf6e8e6bf
1 changed files with 3 additions and 8 deletions
@@ -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
-        '';
      };
    });
  };