rocksdb_7_10: init at 7.10.2

2023-07-15 14:38:45 +08:00
parent 7dbbfb6764
commit 8f47d38ac8
1 changed files with 11 additions and 0 deletions
@@ -24340,6 +24340,17 @@ with pkgs;

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

+  rocksdb_7_10 = rocksdb.overrideAttrs rec {
+    pname = "rocksdb";
+    version = "7.10.2";
+    src = fetchFromGitHub {
+      owner = "facebook";
+      repo = pname;
+      rev = "v${version}";
+     sha256 = "sha256-U2ReSrJwjAXUdRmwixC0DQXht/h/6rV8SOf5e2NozIs=";
+   };
+  };
+
  rocksdb_6_23 = rocksdb.overrideAttrs rec {
    pname = "rocksdb";
    version = "6.23.3";