diff options
-rw-r--r-- | pkgs/data/fonts/dosemu-fonts/default.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/data/fonts/dosemu-fonts/default.nix b/pkgs/data/fonts/dosemu-fonts/default.nix index 6f325b4ea4fd..97fb0b82c744 100644 --- a/pkgs/data/fonts/dosemu-fonts/default.nix +++ b/pkgs/data/fonts/dosemu-fonts/default.nix @@ -1,10 +1,11 @@ {stdenv, fetchurl, bdftopcf, mkfontdir, mkfontscale}: -stdenv.mkDerivation { - name = "dosemu-fonts"; +stdenv.mkDerivation rec { + version = "1.4.0"; + name = "dosemu-fonts-${version}"; src = fetchurl { - url = mirror://sourceforge/dosemu/dosemu-1.4.0.tgz; + url = "mirror://sourceforge/dosemu/dosemu-${version}.tgz"; sha256 = "0l1zwmw42mpakjrzmbygshcg2qzq9mv8lx42738rz3j9hrqzg4pw"; }; |