Remove requirements not necessary to install with pip

runtimeverification · Jan 24, 2024 · 1571baa · 1571baa
1 parent 86d6bb3
commit 1571baa
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/requirements.txt b/requirements.txt
@@ -1,7 +1,4 @@
 # Runtime Requirements
 logging 
-os 
-subprocess 
-sys 
-github 
-typing
+github
+argparse