From 176171ef7bcc7b3bc2ef1b31993d0bb76ca036eb Mon Sep 17 00:00:00 2001 From: Puneeth Chaganti Date: Thu, 15 Dec 2022 14:01:44 +0530 Subject: [PATCH] DBG: update number? --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 0f6a8debe..a9b6b76d8 100644 --- a/Makefile +++ b/Makefile @@ -136,7 +136,7 @@ _opam/%: _opam/opam-init/init.sh ocaml-versions/%.json opam update OCAMLRUNPARAM="$(OCAML_RUN_PARAM)" OCAMLCONFIGOPTION="$(OCAML_CONFIG_OPTION)" opam switch create --keep-build-dir --yes $* ocaml-base-compiler.$* @{ case "$*" in \ - *5.1*) opam pin add -n --yes --switch $* sexplib0.v0.15.0 https://github.com/shakthimaan/sexplib0.git#multicore; \ + *5.1*) opam pin add -n --yes --switch $* sexplib0.v0.16.0 https://github.com/shakthimaan/sexplib0.git#multicore; \ esac }; # TODO remove pin when a new orun version is released on opam opam pin add -n --yes --switch $* orun https://github.com/ocaml-bench/orun.git