Requirements.txt for deps tracking

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