diff --git a/projects/github.com/Z3Prover/z3/package.yml b/projects/github.com/Z3Prover/z3/package.yml
index 169e4cf3..979c2395 100644
--- a/projects/github.com/Z3Prover/z3/package.yml
+++ b/projects/github.com/Z3Prover/z3/package.yml
@@ -11,6 +11,7 @@ build:
     tea.xyz/gx/cc: c99
     tea.xyz/gx/make: '*'
     cmake.org: ^3
+    python.org: ^3
   working-directory: build
   script: |
     cmake .. $ARGS