Remove pin for janestreet/base

ocaml-bench · Dec 15, 2022 · 9534d2d · 9534d2d
1 parent 6b22dd7
commit 9534d2d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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