From d1516b31e23a8bb185acbac69a09910ece66cd1f Mon Sep 17 00:00:00 2001 From: David Sancho Moreno Date: Tue, 8 Aug 2023 16:06:45 +0200 Subject: [PATCH] Pin to pcre 7.5.0 --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index eae51d03f..3384ad30d 100644 --- a/Makefile +++ b/Makefile @@ -44,7 +44,7 @@ pin: ## Pin dependencies @opam pin add melange.dev "https://github.com/melange-re/melange.git#d4868a5300c8c6e9f1b387aedb85ded4a705bc0a" -y @opam pin add reason.dev "https://github.com/reasonml/reason.git#b283f335f90e3aaa398bff8e82761038ee42a99d" -y @opam pin add ppxlib.dev "https://github.com/ocaml-ppx/ppxlib.git#8b8987c5690ad839348d96bf52471b03b88f06ed" -y - @opam pin add server-reason-react.dev "https://github.com/ml-in-barcelona/server-reason-react.git#510efe85e91f1cd84106fe6a2e96556ded90acdc" -y + @opam pin add server-reason-react.dev "https://github.com/ml-in-barcelona/server-reason-react.git#601d36c72fd05f0cc8be46903fbb08a2b737a333" -y .PHONY: create-switch create-switch: ## Create opam switch