New version of gnome-shell-pomodoro

This commit is contained in:
Damien Cassou 2014-10-26 14:07:26 +01:00
parent 2c0cc6cedc
commit 672b913487

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'';