Merge pull request #103265 from marsam/update-jetbrains-mono

jetbrains-mono: 2.200 -> 2.210
This commit is contained in:
Mario Rodas 2020-11-10 21:42:03 -05:00 committed by GitHub
commit 4b2bce6bb9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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