Merge pull request #66016 from r-ryantm/auto-update/pagemon

pagemon: 0.01.15 -> 0.01.16
This commit is contained in:
Marek Mahut 2019-08-05 19:51:12 +02:00 committed by GitHub
commit 236b442811
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,10 +2,10 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "pagemon-${version}"; name = "pagemon-${version}";
version = "0.01.15"; version = "0.01.16";
src = fetchFromGitHub { src = fetchFromGitHub {
sha256 = "0vbwpyik26zavpqsanmg8p7snk44nyz66flvkkqmhwx1ada9d181"; sha256 = "0fpxjw6sg6r9r7yy03brri37wmmc32rhzayzlmwgmzay8rifmm7i";
rev = "V${version}"; rev = "V${version}";
repo = "pagemon"; repo = "pagemon";
owner = "ColinIanKing"; owner = "ColinIanKing";