mirror of
https://codeberg.org/leana8959/.files.git
synced 2026-02-03 07:29:41 +00:00
add(nix): maeel
This commit is contained in:
parent
8271aea4ba
commit
5ff48b0756
3 changed files with 27 additions and 1 deletions
|
|
@ -28,6 +28,8 @@ let
|
|||
};
|
||||
|
||||
why3 = callPackage ./why3.nix { inherit alt-ergo; };
|
||||
|
||||
maeel = callPackage ./maeel.nix { };
|
||||
in
|
||||
{
|
||||
myPkgs = {
|
||||
|
|
@ -38,6 +40,7 @@ in
|
|||
hiosevka-nerd-font-mono
|
||||
hiosevka-nerd-font-propo
|
||||
why3
|
||||
maeel
|
||||
;
|
||||
};
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue