From bf5ef94651853620cff21faaa0e6277927ae8228 Mon Sep 17 00:00:00 2001 From: David Sancho Moreno Date: Mon, 9 Oct 2023 11:25:09 +0200 Subject: [PATCH] Pin jsoo-css --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index b275ff9..fa75d1e 100644 --- a/Makefile +++ b/Makefile @@ -57,7 +57,7 @@ setup-githooks: ## Setup githooks .PHONY: pin pin: ## Pin dependencies opam pin add jsoo-react.dev "git+https://github.com/ml-in-barcelona/jsoo-react.git#8fda15c39665ac27841c7659422f82ac331e0a01" -y - opam pin add jsoo-css.dev "git+https://github.com/ml-in-barcelona/jsoo-css.git#879cda8f5f708b810b8b8f7415a80c6bbaa86961" -y + opam pin add jsoo-css.dev "git+https://github.com/ml-in-barcelona/jsoo-css.git#8169b6764eab18d4cb98ce8f791cd47a54b1e954" -y .PHONY: create-switch create-switch: ## Create opam switch