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

pagemon: 0.01.17 -> 0.01.18
This commit is contained in:
Mario Rodas 2020-02-26 19:37:45 -05:00 committed by GitHub
commit 9d3d3383fd
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 {
pname = "pagemon"; pname = "pagemon";
version = "0.01.17"; version = "0.01.18";
src = fetchFromGitHub { src = fetchFromGitHub {
sha256 = "11r84nwjvnjyxc3jqhbvlgb89ajfj7v8212mz61dq5ilq5k7xa3d"; sha256 = "1aq1mq3k8n70h81s64w2zg4kksw1y05326bn4y8p94lpaypvxqfd";
rev = "V${version}"; rev = "V${version}";
repo = "pagemon"; repo = "pagemon";
owner = "ColinIanKing"; owner = "ColinIanKing";