Merge pull request #90008 from r-ryantm/auto-update/kdev-php

kdev-php: 5.5.1 -> 5.5.2
This commit is contained in:
Marek Mahut 2020-06-20 00:03:53 +02:00 committed by GitHub
commit 5460cc93c4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "kdev-php";
version = "5.5.1";
version = "5.5.2";
src = fetchurl {
url = "https://github.com/KDE/${pname}/archive/v${version}.tar.gz";
sha256 = "1z3mmlg5srzff0y1pjd4wfdf9k4rzk7gfdvbvzizkiy395qw1phv";
sha256 = "0z32x0297g078jk3jhzb4vrf8jhw0qprvqzm9p097h8x0026w42l";
};
nativeBuildInputs = [ cmake extra-cmake-modules ];