diff options
author | Michael Rohleder <mike@rohleder.de> | 2020-07-20 21:00:16 +0200 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2020-07-21 10:03:57 +0300 |
commit | dc4adbf6852164d1222495e760ac15df4dc0dc16 (patch) | |
tree | 4153f6f7bef2c5ebe9b23d20e62e955af2afba8c /gnu/packages | |
parent | 84d31a5c356bdff541cfaec70630330d69408e14 (diff) |
gnu: font-jetbrains-mono: Update to 2.001.
* gnu/packages/fonts.scm (font-jetbrains-mono): Update to 2.001.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/fonts.scm | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/gnu/packages/fonts.scm b/gnu/packages/fonts.scm index 38b342f770..763e8028e2 100644 --- a/gnu/packages/fonts.scm +++ b/gnu/packages/fonts.scm @@ -1741,7 +1741,7 @@ This package provides the TrueType fonts.") (define-public font-jetbrains-mono (package (name "font-jetbrains-mono") - (version "1.0.3") + (version "2.001") (source (origin (method url-fetch) @@ -1749,8 +1749,17 @@ This package provides the TrueType fonts.") (string-append "https://download.jetbrains.com/fonts/" "JetBrainsMono-" version ".zip")) (sha256 - (base32 "0zvhwmpdwpm4vywmm6i9a4najz0c7vfi411yikgkd66l5hwd1p6f")))) + (base32 "0r3dk3kn536rik4mvpcjin9mwmifl3v8mawvb4a5l59pww0vcxzq")))) (build-system font-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (replace 'install-license-files + (lambda* (#:key outputs #:allow-other-keys) + (let* ((out (assoc-ref outputs "out")) + (doc (string-append out "/share/doc/" ,name "-" ,version))) + (install-file "../LICENSE" doc) + #t)))))) (home-page "https://www.jetbrains.com/lp/mono/") (synopsis "Mono typeface for developers") (description |