diff options
author | Will Dietz <w@wdtz.org> | 2019-04-27 19:54:53 -0500 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2019-04-27 22:04:29 -0500 |
commit | c8eb0321fa04ba65ec72e05db56657831eb813fe (patch) | |
tree | 157199ead2790c2fc462ccb71417a4fec6e3e35d /pkgs/applications/misc/font-manager | |
parent | 621584cdb6acc1a4f9d840822daf6b27395eabfd (diff) |
font-manager: bump to the actual 0.7.5 release :)
The hint was the need for fetching as a revision.
Diffstat (limited to 'pkgs/applications/misc/font-manager')
-rw-r--r-- | pkgs/applications/misc/font-manager/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/misc/font-manager/default.nix b/pkgs/applications/misc/font-manager/default.nix index f8a02d2f78c63..aa8f00f2d2b98 100644 --- a/pkgs/applications/misc/font-manager/default.nix +++ b/pkgs/applications/misc/font-manager/default.nix @@ -10,8 +10,8 @@ stdenv.mkDerivation rec { src = fetchFromGitHub { owner = "FontManager"; repo = "master"; - rev = "cc057f3e93f5b1033b04decee03cdb44177e48b3"; - sha256 = "1xg80bi2465p5r8zfmb34iga9yqs3is1k4f13hw0ligvhb58gas0"; + rev = version; + sha256 = "16hma8rrkam6ngn5vbdaryn31vdixvii6920g9z928gylz9xkd3g"; }; nativeBuildInputs = [ |