From a5ac598a471fa870c9859cc24e0566445b9d0cb1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fabi=C3=A1n=20Montero?= <fabian@cluster451.org>
Date: Sun, 8 May 2022 16:45:37 -0600
Subject: [PATCH] =?UTF-8?q?a=C3=B1ade=20symbolic=20a=20la=20shenv=20de=20a?=
 =?UTF-8?q?npi?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 shenvs/anpi.nix | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/shenvs/anpi.nix b/shenvs/anpi.nix
index 6925f42..e442b2b 100644
--- a/shenvs/anpi.nix
+++ b/shenvs/anpi.nix
@@ -1,12 +1,14 @@
 pkgs: {
   paths = with pkgs; [
-    octave
+    (octave.withPackages (packages: with packages; [
+    	symbolic
+    ]))
     pipenv
-    (python39.withPackages ( packages: with packages; [
+    (python39.withPackages (packages: with packages; [
 	numpy
 	scipy
 	sympy
 	matplotlib
-    ] )) 
+    ]))
   ];
 }