nerdfonts: 0.8.0 -> 1.0.0
commitc2d90eaa91118d7ea17441658016f8402cd10212
authormimadrid <mimadrid@ucm.es>
dateWed 28 Dec 2016, 21:17 (10 years ago)
parent93d917f
pkgs/data/fonts/nerdfonts/default.nix+2−2
@@ -1,13 +1,13 @@
11{ stdenv, fetchFromGitHub, bash, which, withFont ? "" }:
22
33stdenv.mkDerivation rec {
4− version = "0.8.0";
4+ version = "1.0.0";
55 name = "nerdfonts-${version}";
66 src = fetchFromGitHub {
77 owner = "ryanoasis";
88 repo = "nerd-fonts";
99 rev = version;
10− sha256 = "0n7idfk4460j8g0rw73hzz195pdh4c916hpc5r6dxpvgcmvryzc5";
10+ sha256 = "1kz4hhshi3lsaja20kg258jc220q1b6nhwiyv0w433m0kvsgzdqd";
1111 };
1212 dontPatchShebangs = true;
1313 buildInputs = [ which ];