From 9534d2d3524329a1eae46762e14c52172bfbfc5f Mon Sep 17 00:00:00 2001 From: Puneeth Chaganti Date: Thu, 15 Dec 2022 11:55:10 +0530 Subject: [PATCH] Remove pin for janestreet/base --- Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile b/Makefile index e90b4f728..0f6a8debe 100644 --- a/Makefile +++ b/Makefile @@ -143,7 +143,6 @@ _opam/%: _opam/opam-init/init.sh ocaml-versions/%.json # TODO remove pin when a new runtime_events_tools is released on opam opam pin add -n --yes --switch $* runtime_events_tools https://github.com/sadiqj/runtime_events_tools.git opam pin add -n --yes --switch $* ocamlfind https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz - opam pin add -n --yes --switch $* base.v0.14.3 https://github.com/janestreet/base.git#v0.14.3 opam pin add -n --yes --switch $* coq-core https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz opam pin add -n --yes --switch $* coq-stdlib https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz