From 02f45c80cdc4aee77420f567bce453a36625fd2a Mon Sep 17 00:00:00 2001
From: h7x4 <h7x4@nani.wtf>
Date: Fri, 26 Jun 2026 18:21:42 +0900
Subject: [PATCH] flake.nix: add ocaml tooling

---
 flake.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/flake.nix b/flake.nix
index 5d7c5ac..70d7966 100644
--- a/flake.nix
+++ b/flake.nix
@@ -20,6 +20,10 @@
           rocqPackages.rocq-core
           rocqPackages.stdlib
           rocqPackages.vsrocq-language-server
+
+          ocaml
+          ocamlPackages.ocaml-lsp
+          ocamlPackages.ocamlformat
         ];
       };
     });