rocksdb: reintroduce rocksdb 6.23.3 as rocksdb_6_23

2021-11-14 00:36:53 +01:00
parent be53e0d506
commit 214b39133e
1 changed files with 11 additions and 0 deletions
@@ -19300,6 +19300,17 @@ with pkgs;

  rocksdb_lite = rocksdb.override { enableLite = true; };

+  rocksdb_6_23 = rocksdb.overrideAttrs (old: rec {
+    pname = "rocksdb";
+    version = "6.23.3";
+    src = fetchFromGitHub {
+      owner = "facebook";
+      repo = pname;
+      rev = "v${version}";
+     sha256 = "sha256-SsDqhjdCdtIGNlsMj5kfiuS3zSGwcxi4KV71d95h7yk=";
+   };
+  });
+
  rotate-backups = callPackage ../tools/backup/rotate-backups { };

  rote = callPackage ../development/libraries/rote { };