mathlibtools: depend on pyyaml

Closes #110986.

Signed-off-by: Carlo Cabrera <30379873+carlocab@users.noreply.github.com>
Signed-off-by: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com>

Formula/mathlibtools.rb

@@ -18,6 +18,7 @@ class Mathlibtools < Formula
 
   depends_on "lean" => :test
   depends_on "python@3.10"
+  depends_on "pyyaml"
   depends_on "six"
 
   resource "atomicwrites" do
@@ -100,11 +101,6 @@ class Mathlibtools < Formula
     sha256 "2b020ecf7d21b687f219b71ecad3631f644a47f01403fa1d1036b0c6416d70fb"
   end
 
-  resource "PyYAML" do
-    url "https://files.pythonhosted.org/packages/36/2b/61d51a2c4f25ef062ae3f74576b01638bebad5e045f747ff12643df63844/PyYAML-6.0.tar.gz"
-    sha256 "68fb519c14306fec9720a2a5b45bc9f0c8d1b9c72adf45c37baedfcd949c35a2"
-  end
-
   resource "requests" do
     url "https://files.pythonhosted.org/packages/a5/61/a867851fd5ab77277495a8709ddda0861b28163c4613b011bc00228cc724/requests-2.28.1.tar.gz"
     sha256 "7c5599b102feddaa661c826c56ab4fee28bfd17f5abca1ebbe3e7f19d7c97983"

pypi_formula_mappings.json

@@ -265,6 +265,9 @@
     "exclude_packages": ["pillow", "PyYAML"],
     "extra_packages": ["pyproj"]
   },
+  "mathlibtools": {
+    "exclude_packages": ["PyYAML"]
+  },
   "mkdocs": {
     "exclude_packages": ["six"]
   },