From 9ea2b0ff689f28a6930a29fd92a8b7fc368d1a10 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Moritz=20B=C3=B6hme?= <mail@moritzboeh.me>
Date: Thu, 26 May 2022 13:50:36 +0200
Subject: [PATCH] :rocket: add tla+

---
 modules/desktop/apps/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/desktop/apps/default.nix b/modules/desktop/apps/default.nix
index ec62554..8cc2b06 100644
--- a/modules/desktop/apps/default.nix
+++ b/modules/desktop/apps/default.nix
@@ -15,6 +15,7 @@
       startInBackground = true;
     };
     home.packages = with pkgs; [
+      tlaplusToolbox
       anki
       calibre
       gparted