From e42eadcd1683d588b73e4f53ea79c445d1ae4ddb Mon Sep 17 00:00:00 2001 From: Mario Rodas Date: Mon, 9 Nov 2020 04:20:00 +0000 Subject: [PATCH] jetbrains-mono: 2.200 -> 2.210 https://github.com/JetBrains/JetBrainsMono/releases/tag/v2.210 --- pkgs/data/fonts/jetbrains-mono/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/data/fonts/jetbrains-mono/default.nix b/pkgs/data/fonts/jetbrains-mono/default.nix index e3ac0a1f3200..fc4d76f6ad6b 100644 --- a/pkgs/data/fonts/jetbrains-mono/default.nix +++ b/pkgs/data/fonts/jetbrains-mono/default.nix @@ -1,14 +1,14 @@ { lib, fetchzip }: let - version = "2.200"; + version = "2.210"; in fetchzip { name = "JetBrainsMono-${version}"; url = "https://github.com/JetBrains/JetBrainsMono/releases/download/v${version}/JetBrainsMono-${version}.zip"; - sha256 = "16v914ph9sgdz3w56yz9f26zpj2lpxjb6ppnphxlmbllh68z1fh4"; + sha256 = "05csy42qji8xbaq5iap2nmki0d0cbiwiq9kbzjd1cah9qn6gfill"; postFetch = '' mkdir -p $out/share/fonts