Merge pull request #67967 from dkabot/dash-to-panel_v23

gnomeExtensions.dash-to-panel: 19 -> 23
This commit is contained in:
Jan Tojnar 2019-09-03 04:09:40 +02:00 committed by GitHub
commit c3c020c168
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "gnome-shell-dash-to-panel";
version = "19";
version = "23";
src = fetchFromGitHub {
owner = "home-sweet-gnome";
repo = "dash-to-panel";
rev = "v${version}";
sha256 = "0r26ph6zq87kvglydv00rf24mshz7l4r38zf9niyp3mxyzz6rwys";
sha256 = "12smkz3clcvgicr0pdc0fk6igf82nw4hzih1ywv9q43xkqh9w1i6";
};
buildInputs = [