finalterm: fix name (use date) and update pkg
This commit is contained in:
parent
2550304bb6
commit
df7d984153
|
@ -1,19 +1,17 @@
|
||||||
{ stdenv, lib, fetchFromGitHub, makeWrapper
|
{ stdenv, lib, fetchgit, makeWrapper
|
||||||
, pkgconfig, cmake, libxml2, vala, intltool, libmx, gnome3, gtk3, gtk_doc
|
, pkgconfig, cmake, libxml2, vala, intltool, libmx, gnome3, gtk3, gtk_doc
|
||||||
, keybinder3, clutter_gtk, libnotify
|
, keybinder3, clutter_gtk, libnotify
|
||||||
, libxkbcommon, xlibs, udev
|
, libxkbcommon, xlibs, udev
|
||||||
, bashInteractive
|
, bashInteractive
|
||||||
}:
|
}:
|
||||||
|
|
||||||
let rev = "5ccde4e8f2c02a398f9172e07c25262ecf954626";
|
stdenv.mkDerivation {
|
||||||
in stdenv.mkDerivation {
|
name = "finalterm-git-2014-11-15";
|
||||||
name = "finalterm-git-${builtins.substring 0 8 rev}";
|
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchgit {
|
||||||
owner = "p-e-w";
|
url = "https://github.com/p-e-w/finalterm.git";
|
||||||
repo = "finalterm";
|
rev = "39b078b2a96a5c3c9e74f92b1929f383d220ca8b";
|
||||||
inherit rev;
|
sha256 = "c3ec9b36692b66a3aaa3125b2947c83beda4705b6d6f4a10b9bde9d8db8367c5";
|
||||||
sha256 = "1gw6nc19whfjd4xj0lc0fmjypn8d7nasif79671859ymnfizyq4f";
|
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [
|
buildInputs = [
|
||||||
|
|
Loading…
Reference in a new issue