From 2ebe1800bce977e8cb7c25c3b3f2796c39535687 Mon Sep 17 00:00:00 2001
From: larstvei <larstvei@ifi.uio.no>
Date: Mon, 24 Oct 2022 18:35:22 +0200
Subject: [PATCH] Add pygments (for minted)

---
 modules/home.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/home.nix b/modules/home.nix
index 0ad1858..f15c675 100644
--- a/modules/home.nix
+++ b/modules/home.nix
@@ -44,6 +44,7 @@
         hypothesis
         graphviz
         z3
+        pygments
       ]))
     bat
     cbqn