🚀 add tla+
This commit is contained in:
parent
9441d6287c
commit
9ea2b0ff68
1 changed files with 1 additions and 0 deletions
|
@ -15,6 +15,7 @@
|
||||||
startInBackground = true;
|
startInBackground = true;
|
||||||
};
|
};
|
||||||
home.packages = with pkgs; [
|
home.packages = with pkgs; [
|
||||||
|
tlaplusToolbox
|
||||||
anki
|
anki
|
||||||
calibre
|
calibre
|
||||||
gparted
|
gparted
|
||||||
|
|
Loading…
Reference in a new issue