diff --git a/Formula/c/coq.rb b/Formula/c/coq.rb
index 5dcf99ea4516..2949ce4ec41e 100644
--- a/Formula/c/coq.rb
+++ b/Formula/c/coq.rb
@@ -1,8 +1,8 @@
 class Coq < Formula
   desc "Proof assistant for higher-order logic"
   homepage "https://coq.inria.fr/"
-  url "https://github.com/coq/coq/archive/refs/tags/V8.18.0.tar.gz"
-  sha256 "00a18c796a6e154a1f1bac7e1aef9e14107e0295fa4e0a18f10cdea6fc2e840b"
+  url "https://github.com/coq/coq/releases/download/V8.19.0/coq-8.19.0.tar.gz"
+  sha256 "17e5c10fadcd3cda7509d822099a892fcd003485272b56a45abd30390f6a426f"
   license "LGPL-2.1-only"
   head "https://github.com/coq/coq.git", branch: "master"
 
@@ -12,13 +12,13 @@ class Coq < Formula
   end
 
   bottle do
-    sha256 arm64_sonoma:   "873c6d95391701fe82d8d9e8fc2d37f399741c865987fd4f118568d7e8197d60"
-    sha256 arm64_ventura:  "be55d107e0a19675723d7c5225c17e2fd893ad675d2780581d25b0be3f8dd35b"
-    sha256 arm64_monterey: "ba5cdf62836250c574478192af992d2de33cedca9a5e2a6bcd9e4314de691925"
-    sha256 sonoma:         "7eba477a416eb26cc4d41d7774341d67310c239c31f677e850a98bf5f948eed9"
-    sha256 ventura:        "4512a999a40459a853f8201a02d23038ea64de444865416ae498bf41c1a6b68e"
-    sha256 monterey:       "ff48cd04e83a995d5607bd3bcd5b899656149009c2a021c5f7bfb389b84a8baf"
-    sha256 x86_64_linux:   "58ccc350c3fbd216e43ec92f547d4bf35deba6b1f88c82da988384731cd7cad6"
+    sha256 arm64_sonoma:   "709a6613c6569951c7889dc2103c6d1c7c036b6dacdb2608b63ef9779a9a0cde"
+    sha256 arm64_ventura:  "27bd72f63d9dd93aa9d1557a00ad2bbfa0e6b282f6d2f87d67d5dab884f03648"
+    sha256 arm64_monterey: "79e5142487fe49356360877cf51bdaf26a0165439d266a06da219f75849326d9"
+    sha256 sonoma:         "384adbfe9bc3d85e053e95872d93ed34715d9918c0338d3be879bd736263f54f"
+    sha256 ventura:        "a5ba5b159aa6171568a73745fab0c0e8f8904c5c3b3c30aa3db5185ce23a6cee"
+    sha256 monterey:       "a5d4ae60a2042c4d28bf0e9b85ca8b7be99e8ece75a252315d556facae44d52e"
+    sha256 x86_64_linux:   "9354a56b2c31bbbcf55952dc52a1e959b429d7ae0d5d168cdd8d76a1487c2d21"
   end
 
   depends_on "dune" => :build
diff --git a/Formula/m/math-comp.rb b/Formula/m/math-comp.rb
index f794b5280c0e..ce0ed9a14471 100644
--- a/Formula/m/math-comp.rb
+++ b/Formula/m/math-comp.rb
@@ -1,19 +1,19 @@
 class MathComp < Formula
   desc "Mathematical Components for the Coq proof assistant"
   homepage "https://math-comp.github.io/math-comp/"
-  url "https://github.com/math-comp/math-comp/archive/refs/tags/mathcomp-1.18.0.tar.gz"
-  sha256 "7623544e912dcee643fda4b4c89e07fc011a515fd60e976462b6cc29cd5f2d1e"
+  url "https://github.com/math-comp/math-comp/archive/refs/tags/mathcomp-1.19.0.tar.gz"
+  sha256 "786db902d904347f2108ffceae15ba29037ff8e63a6c58b87928f08671456394"
   license "CECILL-B"
   head "https://github.com/math-comp/math-comp.git", branch: "master"
 
   bottle do
-    sha256 cellar: :any_skip_relocation, arm64_sonoma:   "cf9910e17e82f0da672a0ab92f12291f36fd3dc39b43321f34d37017fbdca828"
-    sha256 cellar: :any_skip_relocation, arm64_ventura:  "59f6e0cae487a24cba303a7e513d8ebba1d639fe34013d935206f66cc86616c3"
-    sha256 cellar: :any_skip_relocation, arm64_monterey: "832f1814f6ecb2c9477e0551fa184e711d61dd6e4165218ca205fb190c8109a8"
-    sha256 cellar: :any_skip_relocation, sonoma:         "d48a062a31d521a6f9bbc821b101cf7c194116bc168d3e4d99f0487842b3304a"
-    sha256 cellar: :any_skip_relocation, ventura:        "d6528d8f8c3b631ebe20afaf72c33bd879abde7bef5f988237a0bd90c21c7f8c"
-    sha256 cellar: :any_skip_relocation, monterey:       "6849eebc16e35a589a9ef05988c858faaf2d3a35217e9a1b219f3d8f2605e630"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:   "03d1f37344e58080999eb20598ad651910a325d998821b254792ec204383b129"
+    sha256 cellar: :any_skip_relocation, arm64_sonoma:   "66379c29b12dc6f562e9585acbeb4142bee6db14d83fcc527893bc58c6211c84"
+    sha256 cellar: :any_skip_relocation, arm64_ventura:  "58fd08d2af21352002fb658f616a2c8d0f988d4406df69657f45b50ff3674c2f"
+    sha256 cellar: :any_skip_relocation, arm64_monterey: "797de6bb4bbea997cf414016713da50500eec597a02bf67435790459ad42d2bb"
+    sha256 cellar: :any_skip_relocation, sonoma:         "1c53ebdc42550b17ae344a716831ca21bc2fb1b08f4ee64f709d2f659d865e6d"
+    sha256 cellar: :any_skip_relocation, ventura:        "1191f9038fc3cc50464f67c2e952f72246eb0e1b96326cacc8cfb0887d964869"
+    sha256 cellar: :any_skip_relocation, monterey:       "c861c3eee22ed6e5b01ed97255157a8a66f0bb226a953feedd024d4a3167faea"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:   "16c1184a7077b4595c361bcf6fa89f5f008923636f72a47fb8b145df3faa57d1"
   end
 
   depends_on "ocaml" => :build