Merge pull request #42422 from LumiGuide/pgmanage-10.3.0

pgmanage: 10.1.1 -> 10.3.0
This commit is contained in:
xeji 2018-06-24 22:28:14 +02:00 committed by GitHub
commit b7f60f23d4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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