Merge pull request #317985 from gador/pgadmin-8.8

pgadmin4: 8.7 -> 8.8
This commit is contained in:
Peder Bergebakken Sundt 2024-06-11 00:03:27 +02:00 committed by GitHub
commit 9520664329
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -15,14 +15,14 @@
let
pname = "pgadmin";
version = "8.7";
version = "8.8";
yarnHash = "sha256-dBgbgZrjF1rNyN1Hp1nKiT6C6FVbYdbEZQgYbRKVsYI=";
src = fetchFromGitHub {
owner = "pgadmin-org";
repo = "pgadmin4";
rev = "REL-${lib.versions.major version}_${lib.versions.minor version}";
hash = "sha256-KTu6cbB3AVxEOjDbTB4Uf7K4Sf6kHlNm4qecgdmR/LY=";
hash = "sha256-203tuxtYOn1fD1m8BGL6rt5lDDr5V38ybPy+iwmZpkk=";
};
# keep the scope, as it is used throughout the derivation and tests