mirror of
https://codeberg.org/leana8959/.files.git
synced 2026-02-03 07:29:41 +00:00
nix: altiosevka
This commit is contained in:
parent
eca4d7c333
commit
8b5e31a9c0
3 changed files with 31 additions and 0 deletions
|
|
@ -27,6 +27,8 @@ let
|
|||
];
|
||||
};
|
||||
|
||||
altiosevka = pkgs.callPackage ./altiosevka {};
|
||||
|
||||
why3 = pkgs.callPackage ./why3.nix { inherit alt-ergo; };
|
||||
|
||||
maeel = pkgs.callPackage ./maeel.nix { };
|
||||
|
|
@ -39,6 +41,7 @@ in
|
|||
hiosevka
|
||||
hiosevka-nerd-font-mono
|
||||
hiosevka-nerd-font-propo
|
||||
altiosevka
|
||||
why3
|
||||
maeel
|
||||
;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue