From 81eb1377d3702ac23169fab19b89d45941d01d22 Mon Sep 17 00:00:00 2001
From: xenia <xenia.agda@gmail.com>
Date: Mon, 4 Mar 2024 19:41:47 +0100
Subject: [PATCH] Make challtools standalone package

---
 home/common.nix | 3 ++-
 home/extras.nix | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/home/common.nix b/home/common.nix
index df71a348..7c2e3bef 100644
--- a/home/common.nix
+++ b/home/common.nix
@@ -33,7 +33,6 @@ in rec {
     ghc
     ( python310.withPackages (ps: with ps; [
       ipython numpy matplotlib sympy scipy pwntools z3 tqdm pwntools mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
-      (extras.challtools ps)
     ]))
     ( agda.withPackages (ps: with ps; [ standard-library cubical ]) )
     typst
@@ -43,6 +42,8 @@ in rec {
     # nodePackages.typescript-language-server
     # rust-analyzer
     zulip-term
+
+    (extras.challtools python310Packages)
   ];
 
   home.sessionVariables = {
diff --git a/home/extras.nix b/home/extras.nix
index 584af1cd..52b0d4b0 100644
--- a/home/extras.nix
+++ b/home/extras.nix
@@ -16,7 +16,7 @@ rec {
         sha256 = "sha256-nfPAm7rgSMwGq2fgrG82xbdo/YIapDAVR+YGFROBBCU=";
       };
       propagatedBuildInputs = [
-        pyyaml jsonschema docker requests argcomplete google-cloud-storage
+        pyyaml jsonschema docker requests argcomplete google-cloud-storage setuptools
       ];
     }
   );