pgmanage: 10.1.1 -> 10.3.0

Release notes: https://github.com/pgManage/pgManage/releases/tag/v10.3.0

Also fixes #40247
This commit is contained in:
Bas van Dijk 2018-06-23 13:21:09 +02:00
parent 59daa4fd62
commit e385630434

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "pgmanage-${version}"; name = "pgmanage-${version}";
version = "10.1.1"; version = "10.3.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "pgManage"; owner = "pgManage";
repo = "pgManage"; repo = "pgManage";
rev = "v${version}"; rev = "v${version}";
sha256 = "1gv96an1ff9amh16lf71wknshmxl3l4hsl3ga7wb106c10i14zzc"; sha256 = "105gmwkifq04qmp5kpgybwjyx01528r6m3x1pxbvnfyni8sf74qj";
}; };
patchPhase = '' patchPhase = ''