From 451c8444fb1732632a7a9b1f2ccdc491b70d6d81 Mon Sep 17 00:00:00 2001 From: "M. J. Fromberger" Date: Mon, 8 Nov 2021 14:48:45 -0800 Subject: [PATCH] Revert rocksdb version at tip. (#202) --- tools/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/Dockerfile b/tools/Dockerfile index 855414aab..a22b9a0db 100644 --- a/tools/Dockerfile +++ b/tools/Dockerfile @@ -17,7 +17,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends \ FROM build AS install ARG LEVELDB=1.20 -ARG ROCKSDB=6.24.2 +ARG ROCKSDB=6.6.4 # Install cleveldb RUN \