From aede6595d6ca7bd27f88112fc567411108ac4e91 Mon Sep 17 00:00:00 2001
From: larstvei <larstvei@ifi.uio.no>
Date: Sun, 8 Jan 2023 01:31:05 +0100
Subject: [PATCH] Add some Python packages

---
 modules/home.nix | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/modules/home.nix b/modules/home.nix
index 387dd55..dee95b7 100644
--- a/modules/home.nix
+++ b/modules/home.nix
@@ -17,10 +17,14 @@
       ]))
     (python3.withPackages
       (python-packages: with python-packages; [
-        hypothesis
         graphviz
-        z3
+        hypothesis
+        matplotlib
+        numpy
+        pandas
         pygments
+        scipy
+        z3
       ]))
     bat
     cbqn