rocksdb_8_11: init at 8.11.4

2024-05-16 13:44:49 +02:00
parent 02c18cc8f6
commit c5cfeb11cd
1 changed files with 11 additions and 0 deletions
@@ -24112,6 +24112,17 @@ with pkgs;

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

+  rocksdb_8_11 = rocksdb.overrideAttrs rec {
+    pname = "rocksdb";
+    version = "8.11.4";
+    src = fetchFromGitHub {
+      owner = "facebook";
+      repo = pname;
+      rev = "v${version}";
+      hash = "sha256-ZrU7G3xeimF3H2LRGBDHOq936u5pH/3nGecM4XEoWc8=";
+    };
+  };
+
  rocksdb_8_3 = rocksdb.overrideAttrs rec {
    pname = "rocksdb";
    version = "8.3.2";