No distutils for z3

smuenzel · smuenzel · commit 940e8fb3a18a · 2025-06-28T13:45:22.000+02:00
diff --git a/packages/z3/z3.4.15.1/opam b/packages/z3/z3.4.15.1/opam
@@ -6,7 +6,6 @@ bug-reports: "https://github.com/Z3prover/z3/issues"
 license: "MIT"
 dev-repo: "git+https://github.com/Z3prover/z3.git"
 depexts: [
-  ["python3-distutils"] {os-family = "debian"}
   ["llvm"] {os-distribution = "homebrew"}
 ]
 patches: [

Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,6 @@ bug-reports: "https://github.com/Z3prover/z3/issues"`
`6`	`6`	`license: "MIT"`
`7`	`7`	`dev-repo: "git+https://github.com/Z3prover/z3.git"`
`8`	`8`	`depexts: [`
`9`		`- ["python3-distutils"] {os-family = "debian"}`
`10`	`9`	`["llvm"] {os-distribution = "homebrew"}`
`11`	`10`	`]`
`12`	`11`	`patches: [`