From 79ad0ff8869f85fd33961681825fb49f2556f408 Mon Sep 17 00:00:00 2001 From: Sora Morimoto Date: Tue, 3 Dec 2024 16:58:20 +0900 Subject: [PATCH] Update Makefile Signed-off-by: Sora Morimoto --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index d284387cf..68ac63564 100644 --- a/Makefile +++ b/Makefile @@ -15,7 +15,7 @@ deps: ## Install development dependencies .PHONY: create_switch create_switch: - opam switch create . 5.2.0 --no-install + opam switch create . 5.2.1 --no-install .PHONY: switch switch: create_switch deps ## Create an opam switch and install development dependencies