Require Python 3.X (NASA-SW-VnV#9).

ivanperez-keera · Dec 26, 2023 · 4eb033d · 4eb033d
1 parent cb8061c
commit 4eb033d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Formula/ikos.rb b/Formula/ikos.rb
@@ -15,7 +15,7 @@ class Ikos < Formula
   depends_on "llvm@14"
   depends_on "mpfr"
   depends_on "ppl"
-  depends_on "python"
+  depends_on "python@3"
 
   resource "Pygments" do
     url "https://files.pythonhosted.org/packages/7e/ae/26808275fc76bf2832deb10d3a3ed3107bc4de01b85dcccbe525f2cd6d1e/Pygments-2.4.2.tar.gz"