Remove from older packages as well

Author: smuenzel

packages/z3/z3.4.13.2/opam

@@ -5,9 +5,6 @@ homepage: "https://github.com/Z3prover/z3"
 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"}
-]
 patches: [
   "gccstd-2a.patch" { (os-family = "opensuse" | os-family = "suse") | (os-distribution = "ubuntu" & os-version <= "20.04") }
 ]

packages/z3/z3.4.13.3/opam

@@ -5,9 +5,6 @@ homepage: "https://github.com/Z3prover/z3"
 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"}
-]
 patches: [
   "gccstd-2a.patch" { (os-family = "opensuse" | os-family = "suse") | (os-distribution = "ubuntu" & os-version <= "20.04") }
 ]

packages/z3/z3.4.14.1/opam

@@ -5,9 +5,6 @@ homepage: "https://github.com/Z3prover/z3"
 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"}
-]
 patches: [
   "gccstd-2a.patch" { (os-family = "opensuse" | os-family = "suse") | (os-distribution = "ubuntu" & os-version <= "20.04") }
 ]