Merge pull request #4695 from DamienCassou/gnome-pomodoro-0.10.3

New version of gnome-shell-pomodoro
This commit is contained in:
lethalman 2014-10-28 09:53:39 +01:00
commit db376cac59

View File

@ -4,13 +4,14 @@
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "gnome-shell-pomodoro-0.10.2-11-gd5f5b69"; rev = "0.10.3";
name = "gnome-shell-pomodoro-${rev}-61df3fa";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "codito"; owner = "codito";
repo = "gnome-shell-pomodoro"; repo = "gnome-shell-pomodoro";
rev = "0.10.2"; rev = "${rev}";
sha256 = "1jd4xmcx0fbcn57d1qj7b4xkj0dv4i75s367nifabm47akqzyn4f"; sha256 = "0i0glmijalppb5hdb1xd6xnmv824l2w831rpkqmhxi0iqbvaship";
}; };
configureScript = ''./autogen.sh''; configureScript = ''./autogen.sh'';