@@ -19300,6 +19300,17 @@ with pkgs;
1930019300
1930119301 rocksdb_lite = rocksdb.override { enableLite = true; };
1930219302
19303+ rocksdb_6_23 = rocksdb.overrideAttrs (old: rec {
19304+ pname = "rocksdb";
19305+ version = "6.23.3";
19306+ src = fetchFromGitHub {
19307+ owner = "facebook";
19308+ repo = pname;
19309+ rev = "v${version}";
19310+ sha256 = "sha256-SsDqhjdCdtIGNlsMj5kfiuS3zSGwcxi4KV71d95h7yk=";
19311+ };
19312+ });
19313+
1930319314 rotate-backups = callPackage ../tools/backup/rotate-backups { };
1930419315
1930519316 rote = callPackage ../development/libraries/rote { };