diff options
| author | Timotej Lazar <timotej.lazar@araneo.si> | 2023-06-12 22:53:23 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-06-18 23:31:55 +0200 |
| commit | ffe2e45b0ba888ecbd5b642282e5e124e030b8ea (patch) | |
| tree | 834c72d766194eaa2c21ee945afa0fccf8228fce /gnu/packages/xorg.scm | |
| parent | a68762ca7cd64c76ddd1f2975b10341d9b275b85 (diff) | |
gnu: font-micro-misc: Update to 1.0.4.
* gnu/packages/xorg.scm (font-micro-misc): Update to 1.0.4.
[source]: Drop upstreamed snippet.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/xorg.scm')
| -rw-r--r-- | gnu/packages/xorg.scm | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/gnu/packages/xorg.scm b/gnu/packages/xorg.scm index d38375c5e6..98ccd2b1f7 100644 --- a/gnu/packages/xorg.scm +++ b/gnu/packages/xorg.scm @@ -675,10 +675,12 @@ For example: @code{6x10}, @code{9x15bold}, etc.") (define-public font-micro-misc (package (name "font-micro-misc") - (version "1.0.3") - (source (xorg-font-origin - name version - "1dldxlh54zq1yzfnrh83j5vm0k4ijprrs5yl18gm3n9j1z0q2cws")) + (version "1.0.4") + (source (origin + (method url-fetch) + (uri (string-append "mirror://xorg/individual/font/" + "font-micro-misc-" version ".tar.xz")) + (sha256 "0hzryqyml0bzzw91vqdmzdlb7dm18jmyz0mxy6plks3sppbbkq1f"))) (build-system gnu-build-system) (inputs (list mkfontdir bdftopcf)) |