···11-{ lib, fetchzip }:
22-33-# XXX: IMPORTANT:
44-# For compat, keep this at the last version that used the name "Inter UI"
55-# For newer versions, which are now simply named "Inter",
66-# see the expression for `inter` (../inter/default.nix).
77-let
88- version = "3.2";
99-in fetchzip {
1010- name = "inter-ui-${version}";
1111-1212- url = "https://github.com/rsms/inter/releases/download/v${version}/Inter-UI-${version}.zip";
1313-1414- postFetch = ''
1515- mkdir -p $out/share/fonts/opentype
1616- unzip -j $downloadedFile \*.otf -d $out/share/fonts/opentype
1717- '';
1818-1919- sha256 = "01d2ql803jrhss6g60djvs08x9xl7z6b3snkn03vqnrajdgifcl4";
2020-2121- meta = with lib; {
2222- homepage = "https://rsms.me/inter/";
2323- description = "A typeface specially designed for user interfaces";
2424- license = licenses.ofl;
2525- platforms = platforms.all;
2626- maintainers = with maintainers; [ demize ];
2727- };
2828-}
2929-
···313313 inboxer = throw "inboxer has been removed as it is no longer maintained and no longer works as Google shut down the inbox service this package wrapped.";
314314 infiniband-diags = rdma-core; # added 2019-08-09
315315 inotifyTools = inotify-tools;
316316+ inte-ui = inter; # added 2021-03-27
316317 i-score = throw "i-score has been removed: abandoned upstream."; # added 2020-11-21
317318 jamomacore = throw "jamomacore has been removed: abandoned upstream."; # added 2020-11-21
318319 jbidwatcher = throw "jbidwatcher was discontinued in march 2021"; # added 2021-03-15