From 7cf6e8e6bf40310e07e3374190622e1994f91258 Mon Sep 17 00:00:00 2001
From: h7x4 <h7x4@nani.wtf>
Date: Fri, 26 Jun 2026 03:24:57 +0900
Subject: [PATCH] flake.nix: bump rocq version from 8 to 9

---
 flake.nix | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

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
-        '';
       };
     });
   };