psutil version

runtimeverification · Aug 27, 2024 · 80e0052 · 80e0052
1 parent 11177d9
commit 80e0052
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyk/pyproject.toml b/pyk/pyproject.toml
@@ -22,7 +22,7 @@ coloredlogs = "^15.0.1"
 filelock = "^3.9.0"
 graphviz = "^0.20.1"
 hypothesis = "^6.103.1"
-psutil = "5.9.5"
+psutil = "^5.9.5"
 pybind11 = "^2.10.3"
 pytest = "*"
 textual = "^0.27.0"