2023-01-24 12:42:24 +00:00
|
|
|
self: super:
|
|
|
|
|
|
|
|
|
|
let
|
|
|
|
|
prebuilt =
|
|
|
|
|
self.stdenv.mkDerivation rec {
|
|
|
|
|
pname = "iosevka-tv-1";
|
|
|
|
|
version = "15.6.3";
|
|
|
|
|
src = self.fetchurl {
|
|
|
|
|
urls = [
|
|
|
|
|
"https://c.krebsco.de/iosevka-tv-1-${version}.tar.gz"
|
|
|
|
|
"https://ni.krebsco.de/~tv/mirrors/iosevka/iosevka-tv-1-${version}.tar.gz"
|
|
|
|
|
];
|
2023-01-27 12:08:31 +00:00
|
|
|
hash = "sha256-88OfNUbuNbGx3hFzYZ+gAYgOWZ+A8IYo45I1n/qOyhM=";
|
2023-01-24 12:42:24 +00:00
|
|
|
};
|
|
|
|
|
installPhase = ''
|
2023-01-27 12:08:31 +00:00
|
|
|
mkdir $out
|
|
|
|
|
mv * $out/
|
2023-01-24 12:42:24 +00:00
|
|
|
'';
|
|
|
|
|
};
|
|
|
|
|
in
|
|
|
|
|
|
|
|
|
|
if super.iosevka.version == prebuilt.version then
|
|
|
|
|
prebuilt
|
|
|
|
|
|
|
|
|
|
else
|
2023-01-27 12:08:31 +00:00
|
|
|
super.iosevka-tv-1
|
