From c8e4565d1271d3c1ea1629c69a2ac743a54387ed Mon Sep 17 00:00:00 2001 From: John Date: Tue, 4 Sep 2018 23:18:07 +0200 Subject: [PATCH] user-manager: update to 5.13.5. [ci skip] --- srcpkgs/user-manager/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/user-manager/template b/srcpkgs/user-manager/template index cc65c855b9..f7b480ebb0 100644 --- a/srcpkgs/user-manager/template +++ b/srcpkgs/user-manager/template @@ -1,6 +1,6 @@ # Template file for 'user-manager' pkgname=user-manager -version=5.13.4 +version=5.13.5 revision=1 build_style=cmake configure_args="-DBUILD_TESTING=OFF" @@ -13,4 +13,4 @@ maintainer="Denis Revin " license="GPL-2.0-or-later" homepage="https://projects.kde.org/projects/plasma/user-manager" distfiles="${KDE_SITE}/plasma/${version}/${pkgname}-${version}.tar.xz" -checksum=75702632ce0796ed3a19758451703474b18346d087e005d6d839a77b1c4426e9 +checksum=48abc976d82f669efb13408e3950ddec723c6a43398ce1c1529920407707a588