Merge pull request #172795 from XVilka/ocaml-5.2.0-version-bump

ocaml 5.2.0
Homebrew · Jun 6, 2024 · ebed60d · ebed60d
2 parents 2cd3891 + a07e9c0
commit ebed60d
Show file tree

Hide file tree

Showing 11 changed files with 125 additions and 84 deletions.
diff --git a/Formula/c/camlp-streams.rb b/Formula/c/camlp-streams.rb
@@ -4,16 +4,16 @@ class CamlpStreams < Formula
   url "https://github.com/ocaml/camlp-streams/archive/refs/tags/v5.0.1.tar.gz"
   sha256 "ad71f62406e9bb4e7fb5d4593ede2af6c68f8b0d96f25574446e142c3eb0d9a4"
   license "LGPL-2.1-only" => { with: "OCaml-LGPL-linking-exception" }
-  revision 1
+  revision 2
 
   bottle do
-    sha256 cellar: :any,                 arm64_sonoma:   "1ab3f2156883e27bcfeff416cccb5e6f5e32102a52640299c5d6ca561b0b09f4"
-    sha256 cellar: :any,                 arm64_ventura:  "ee43234549a20178bcc759f2b630f68869c956527061079b3203091358c49195"
-    sha256 cellar: :any,                 arm64_monterey: "c88d7c4203e0111c6f21c6db54bfeb963e7962025741659d827a4153a096f3e0"
-    sha256 cellar: :any,                 sonoma:         "909acae960bc459db4f9f721801086296809a7b85db919229cc26ae67457f92e"
-    sha256 cellar: :any,                 ventura:        "e57d2a7c4e1ed7d865c72f6e0699a5e8439b22b76cff119ca10f41ccaf38ac92"
-    sha256 cellar: :any,                 monterey:       "584919e25737e013998be682d4cb0b79a512dd37180444e134f853c254586fd6"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:   "c23521a07bf157dc5f7fd018fdc804149a5e4c4acb375db87f1396bf50a1321c"
+    sha256 cellar: :any,                 arm64_sonoma:   "2e14df738f00604bcc6f5bd534dc4a6216486240427aa007b5fe8df7b187b0fd"
+    sha256 cellar: :any,                 arm64_ventura:  "ca997e18666ae5d5a8e5763e33734b275cefe959a8f2e255d6851eb8f301978f"
+    sha256 cellar: :any,                 arm64_monterey: "f0a77287617143cdfa16431336601bf3a6f8a0414361b0b67b4516fc738f3c81"
+    sha256 cellar: :any,                 sonoma:         "b30608d83869c763c51775791e1d005d644c72cc64f2fa9d15c8cd2b11e77d39"
+    sha256 cellar: :any,                 ventura:        "c821b2f2fe7931a46ab12c76675d3ffb7dd6b52e867ea760043c5c3b0f3487c7"
+    sha256 cellar: :any,                 monterey:       "8c6b64e84a4345a3825af63c61b0e3240d5c3de2650cfbe7c3845d0a968eb4fd"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:   "94edf173dbacdba66a99216f910de374584c51a6a59ea97695ca251024a61a10"
   end
 
   depends_on "dune" => :build

diff --git a/Formula/c/camlp5.rb b/Formula/c/camlp5.rb
@@ -1,10 +1,9 @@
 class Camlp5 < Formula
   desc "Preprocessor and pretty-printer for OCaml"
   homepage "https://camlp5.github.io/"
-  url "https://github.com/camlp5/camlp5/archive/refs/tags/8.02.01.tar.gz"
-  sha256 "58d4bce0c20fa1151fc2c15f172f5884472e2044a4b0da22aababf46c361e515"
+  url "https://github.com/camlp5/camlp5/archive/refs/tags/8.03.00.tar.gz"
+  sha256 "0dae6d32184aca6f2cdbe818ee2f26aa58baa87d9e82f820914c63b35aa075de"
   license "BSD-3-Clause"
-  revision 1
   head "https://github.com/camlp5/camlp5.git", branch: "master"
 
   livecheck do
@@ -13,13 +12,13 @@ class Camlp5 < Formula
   end
 
   bottle do
-    sha256 arm64_sonoma:   "b759ee090fbf543cdc3fc06316f6e49688031dadc5f596dcb7d202c5e9b6259d"
-    sha256 arm64_ventura:  "fecb24a088b59346812faa716de555a939e6ff0efd38cec825ce4178834c3ba7"
-    sha256 arm64_monterey: "6b9fb48113e2cb84683f72fa3744da3bbe00f483df59ea1e07016a2e06352a9f"
-    sha256 sonoma:         "23da0a4d852c4d00da8523d2a2303b482dbddd40a9eb8d674f87907d9f718937"
-    sha256 ventura:        "07d9c205a10282211954729926982a14215def6e5ebf511bba15a39d0f77adf4"
-    sha256 monterey:       "582c31c1fd609b1904515b878ce4a2f886391a042ae6b9de6d595dabf832fda9"
-    sha256 x86_64_linux:   "6dbd19efdc0c99cd9fb94ee55ce1b8d5f6ee12e73ae93a3146c5bdec602e04d3"
+    sha256 arm64_sonoma:   "351bc6f9bba7beebcd961e5bab9ebca32d8b4bd0507e1901cceb1e2930c6c493"
+    sha256 arm64_ventura:  "be8a0d5f7f033e1b79e416654b5b3eccca3201f689726d42b408faff6c8f6fe3"
+    sha256 arm64_monterey: "4eb4dbe6e3e66708c4e942e2ed10d90178cced35ea75367286c63b9ca21c07d5"
+    sha256 sonoma:         "906ffd7b6316f20a10d349d1170752298aeb0191eac7dcff6c22c01fb7618005"
+    sha256 ventura:        "23b352596c1e729f9094f5e05822d9c10b1a2b28e5c6d3b6bde5ae01d95c15a8"
+    sha256 monterey:       "8f42fe3372d348d38f9f3272036967bf0e6425de81df130a6aeebf76842e4e20"
+    sha256 x86_64_linux:   "6d732cb0df6a06f0f9ece5791d12169d032326ddb58306e17ea276d95abd3ebb"
   end
 
   depends_on "ocaml-findlib" => :build
@@ -51,7 +50,9 @@ def install
       # ocaml files are in sync with the camlp5 files.  If camlp5 has been
       # compiled with an older version of the ocaml compiler, then an error
       # "interface mismatch" will occur.
-      shell_output("#{bin}/camlp5 #{lib}/ocaml/camlp5/pa_o.cmo #{lib}/ocaml/camlp5/pr_o.cmo " \
+      shell_output("#{bin}/camlp5 #{lib}/ocaml/camlp5/pa_o.cmo " \
+                   "#{lib}/ocaml/camlp5/o_keywords.cmo " \
+                   "#{lib}/ocaml/camlp5/pr_o.cmo " \
                    "#{ocaml.opt_lib}/ocaml/str/str.cma hi.ml")
   end
 end
diff --git a/Formula/c/coq.rb b/Formula/c/coq.rb
@@ -4,6 +4,7 @@ class Coq < Formula
   url "https://github.com/coq/coq/releases/download/V8.19.1/coq-8.19.1.tar.gz"
   sha256 "1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674"
   license "LGPL-2.1-only"
+  revision 1
   head "https://github.com/coq/coq.git", branch: "master"
 
   livecheck do
@@ -12,13 +13,13 @@ class Coq < Formula
   end
 
   bottle do
-    sha256 arm64_sonoma:   "a93180d61587f2b1de891d1e44209e3a6b4c3309358237a5c8ee51512b37e1ee"
-    sha256 arm64_ventura:  "64d2843a331221922ecb451d7fcf9e9452e11d6cafc989f7a72f5ddd5fb95731"
-    sha256 arm64_monterey: "dffe71678cacfc2a3b632e75eee1d5b1c7984bf9ddc2a4afe4e9df454709e782"
-    sha256 sonoma:         "890818aa86192050cb0aef368a339653988bc473b526b9610b34487bac0668ff"
-    sha256 ventura:        "d6285f8393333c3e1b83f7948f25cbd4a939d0011d9f1783fb83602ddf98fda9"
-    sha256 monterey:       "d417eff81ca483b9832493dba3f9e6653e5eea1b9fcffe1c645725edd2db48f3"
-    sha256 x86_64_linux:   "b9979855e4fe5fbca8ad5927c0fd06e041223ae252e148cf98e042106dd23708"
+    sha256 arm64_sonoma:   "d3a5f3a7f582755ac089a9a03ee34f4d4d245e1a07f39cfe03b4498eee1cd3b8"
+    sha256 arm64_ventura:  "6a9553764a0a0a8e9a8100100e71e02954a8b7fe05b80a3e8dfc56fc93f7e799"
+    sha256 arm64_monterey: "7cbc3d9565fb6d760e6cf9d525f7fda67fa8048f10af1c2567f73f914a70bfad"
+    sha256 sonoma:         "9307527ca25209485d35abef99bf2569f9868ac1ddab9e481b94bc24a029ad72"
+    sha256 ventura:        "27fe173b76690d141e73d688e960b7375aeb40ecbe457577bf1d172947e4f9c2"
+    sha256 monterey:       "900c3bf8a15780c078658d15195b4193bffe0231c25494fa36fb7cbb0f576d68"
+    sha256 x86_64_linux:   "aed6466a06ef1fb083aa6c74e35a7ef0114d991448b72331c3830168402feebc"
   end
 
   depends_on "dune" => :build
@@ -31,6 +32,10 @@ class Coq < Formula
   uses_from_macos "unzip" => :build
 
   def install
+    # Work around for https://github.com/Homebrew/homebrew-test-bot/issues/805
+    if ENV["HOMEBREW_GITHUB_ACTIONS"] && !(Formula["ocaml-findlib"].etc/"findlib.conf").exist?
+      ENV["OCAMLFIND_CONF"] = Formula["ocaml-findlib"].opt_libexec/"findlib.conf"
+    end
     ENV.prepend_path "OCAMLPATH", Formula["ocaml-zarith"].opt_lib/"ocaml"
     ENV.prepend_path "OCAMLPATH", Formula["ocaml-findlib"].opt_lib/"ocaml"
     system "./configure", "-prefix", prefix,
@@ -49,6 +54,10 @@ def install
   end
 
   test do
+    # Work around for https://github.com/Homebrew/homebrew-test-bot/issues/805
+    if ENV["HOMEBREW_GITHUB_ACTIONS"] && !(Formula["ocaml-findlib"].etc/"findlib.conf").exist?
+      ENV["OCAMLFIND_CONF"] = Formula["ocaml-findlib"].opt_libexec/"findlib.conf"
+    end
     (testpath/"testing.v").write <<~EOS
       Require Coq.micromega.Lia.
       Require Coq.ZArith.ZArith.

diff --git a/Formula/h/hyperkit.rb b/Formula/h/hyperkit.rb
@@ -4,12 +4,10 @@ class Hyperkit < Formula
   url "https://github.com/moby/hyperkit/archive/refs/tags/v0.20210107.tar.gz"
   sha256 "095f5f5ef550d7cad10e4d13e9c9ce8b58cc319d654a6d837d8d87ee70537835"
   license "BSD-2-Clause"
+  revision 1
 
   bottle do
-    sha256 cellar: :any_skip_relocation, ventura:  "3b67078315551718bc3c752b943b933713ddb69058f3cb72a0f65faa6e9295ab"
-    sha256 cellar: :any_skip_relocation, monterey: "da3b0d0374a85af5c649c86fb7796c1eecae468f5783bbb994a96d807e60712a"
-    sha256 cellar: :any_skip_relocation, big_sur:  "f96e7270e9e853ce33f2195136b11338a5cf4d612ee50f3dd51b5c8506b4efcb"
-    sha256 cellar: :any_skip_relocation, catalina: "cd58afe172473278d3ed9404e9d25e10bee487fb4e27cd6de39c950a0ccaca87"
+    sha256 cellar: :any_skip_relocation, monterey: "69e59bde1dae4ff1da807711cd9060cdf81e248aa55a0dd761a20abd8787e20b"
   end
 
   depends_on "ocaml" => :build

diff --git a/Formula/l/ledit.rb b/Formula/l/ledit.rb
@@ -5,6 +5,7 @@ class Ledit < Formula
   version "2.06"
   sha256 "9fb4fe256ca9e878a0b47dfd43b4c64c6a3f089c9e76193b2db347f0d90855be"
   license "BSD-3-Clause"
+  revision 1
 
   livecheck do
     url :stable
@@ -15,13 +16,13 @@ class Ledit < Formula
   end
 
   bottle do
-    sha256 cellar: :any_skip_relocation, arm64_sonoma:   "fb17134571471349a072e47eb5849e5ecc66006616fa77bf2363d04a8fa91446"
-    sha256 cellar: :any_skip_relocation, arm64_ventura:  "26e778db2994c1524b3b993e94eb642586c227cfe04b103e9ead54a557fa67ac"
-    sha256 cellar: :any_skip_relocation, arm64_monterey: "9799ea6b0736a0a266eabd35ca40719683f4cb9dfecf220f4f73f3de26ee3b5d"
-    sha256 cellar: :any_skip_relocation, sonoma:         "ab446bc5a875dc4527f05103db24700488cc32761aa241d18065ac6a66082971"
-    sha256 cellar: :any_skip_relocation, ventura:        "3b7c8d59ad0746dab63189ddc5fa9176b177c39404c368520be0cf03c9c14cca"
-    sha256 cellar: :any_skip_relocation, monterey:       "6fd3e1bcddb9d283dd6dbb8b84bb0dcab8ee5ec215bef0004be1c2a4991c912a"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:   "3521f1fe5b11e11d11a53c988888cf4807db6f5f17e420010e5c85a543ce7211"
+    sha256 cellar: :any_skip_relocation, arm64_sonoma:   "5cd73d8f31cd78874d997a6d4fd9f641e48feca0f7fe8563bb76bc1cb3e54fbd"
+    sha256 cellar: :any_skip_relocation, arm64_ventura:  "e3a9793e08a678bf56e0d52ec6d1882a7e9f315b3aa3408444ed140f15bf2b32"
+    sha256 cellar: :any_skip_relocation, arm64_monterey: "e8fa06836756c84e6f20a13214680bbb0b360025ef193211d7e3ac0b88856202"
+    sha256 cellar: :any_skip_relocation, sonoma:         "ba5e850a2325c803b48366814ccd65ccf4acf57112f9cb16b4bc5ef43add3a8a"
+    sha256 cellar: :any_skip_relocation, ventura:        "61b71950ed308177659d6d98f88e83d9f26b2ce8c9f41cffab9e92eef9988144"
+    sha256 cellar: :any_skip_relocation, monterey:       "482dd44cabb6afec89846ad02430f0b48e2aee3e32885c58eedd38619fdc4886"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:   "280c140f1337f33186cc2d9a1946cd27732435292e98fff8c1a431d408ebb237"
   end
 
   depends_on "ocaml-findlib" => :build

diff --git a/Formula/m/math-comp.rb b/Formula/m/math-comp.rb
@@ -4,24 +4,29 @@ class MathComp < Formula
   url "https://github.com/math-comp/math-comp/archive/refs/tags/mathcomp-1.19.0.tar.gz"
   sha256 "786db902d904347f2108ffceae15ba29037ff8e63a6c58b87928f08671456394"
   license "CECILL-B"
-  revision 2
+  revision 3
   head "https://github.com/math-comp/math-comp.git", branch: "master"
 
   bottle do
-    sha256 cellar: :any_skip_relocation, arm64_sonoma:   "3ea1b572027d6051e36a26a2a813deaf63fbcff5dd65dc0bf38842649ad3a5fa"
-    sha256 cellar: :any_skip_relocation, arm64_ventura:  "a82eb21533f651ee962e0d64c9b9574c6fcd0c3ce6a91767d1a734b1f483f425"
-    sha256 cellar: :any_skip_relocation, arm64_monterey: "59ceb23e02aa6142e9b1adbd135f46afca15f2852596d2b2089e75ec11cd6888"
-    sha256 cellar: :any_skip_relocation, sonoma:         "fb7f57a80f97d5d4514c126f6fb659681c46b789f0fcf83a3893814db91e2db1"
-    sha256 cellar: :any_skip_relocation, ventura:        "de4028a41747143cdd6a113681e178beef7df9c0e5cb674fbeac82cb27359bc4"
-    sha256 cellar: :any_skip_relocation, monterey:       "475dcb71b57f8c7ec671a083d39162e7e6a3673f30533814b8b2d3f9dd74236f"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:   "8b0c39d34525e702e21d0b9e43a9722c61c564f658d7ffafc468c397fc79738a"
+    sha256 cellar: :any_skip_relocation, arm64_sonoma:   "fe578ded99ac581dbb4892205822e06ec3d5d753aa8f8412be06fe0269c06aa5"
+    sha256 cellar: :any_skip_relocation, arm64_ventura:  "e02280c42ec43cf8ff9e4c9c9c5db5550dcf37ea3465bc2c79b861da89e832cb"
+    sha256 cellar: :any_skip_relocation, arm64_monterey: "4e10a7ccd7897d1780906022a26baf7614ec74686be1e765cbdf9ebc511592f0"
+    sha256 cellar: :any_skip_relocation, sonoma:         "a9f5f9efe46c5b0a6ed49997e42dcc34eea97a05e92c67eb54a0cf925199638d"
+    sha256 cellar: :any_skip_relocation, ventura:        "129385c0192110aba6dc10f5b0ced11ebe8336c91f7a2b03adcfab1fd9f30724"
+    sha256 cellar: :any_skip_relocation, monterey:       "3bf4193ec3a297ce9baef489a69264f82c023fd32fb07298f1adc923151f316c"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:   "f5357d811a663bf0b5b3de6bc031e1fbc6c0253782f2501f2b65864f81af3f9f"
   end
 
   depends_on "ocaml" => :build
   depends_on "ocaml-findlib" => :build
   depends_on "coq"
 
   def install
+    # Work around for https://github.com/Homebrew/homebrew-test-bot/issues/805
+    if ENV["HOMEBREW_GITHUB_ACTIONS"] && !(Formula["ocaml-findlib"].etc/"findlib.conf").exist?
+      ENV["OCAMLFIND_CONF"] = Formula["ocaml-findlib"].opt_libexec/"findlib.conf"
+    end
+
     coqlib = "#{lib}/coq/"
 
     (buildpath/"mathcomp/Makefile.coq.local").write <<~EOS
@@ -40,6 +45,11 @@ def install
   end
 
   test do
+    # Work around for https://github.com/Homebrew/homebrew-test-bot/issues/805
+    if ENV["HOMEBREW_GITHUB_ACTIONS"] && !(Formula["ocaml-findlib"].etc/"findlib.conf").exist?
+      ENV["OCAMLFIND_CONF"] = Formula["ocaml-findlib"].opt_libexec/"findlib.conf"
+    end
+
     (testpath/"testing.v").write <<~EOS
       From mathcomp Require Import ssreflect seq.
 

diff --git a/Formula/m/menhir.rb b/Formula/m/menhir.rb
@@ -4,21 +4,27 @@ class Menhir < Formula
   url "https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/menhir-20231231.tar.bz2"
   sha256 "fb76a37b84e28acd3ecf58efea3abc8c7a9a70987a44915837e81093a7853d3a"
   license "GPL-3.0-or-later"
+  revision 1
 
   bottle do
-    sha256 cellar: :any,                 arm64_sonoma:   "182247d95722654249f03821183168020c5fd2c8dfc2cb537f7849113d55077f"
-    sha256 cellar: :any,                 arm64_ventura:  "a6f67e1df35d4958923fae7e847f799d81710ac298b618bd08f4a643b8a03b89"
-    sha256 cellar: :any,                 arm64_monterey: "77285973f5aff863fe702d1b6e57eb32528718e17da0cbfebc8f88da88f00674"
-    sha256 cellar: :any,                 sonoma:         "8cb64eaf45aeed6fa2a9f13b7d88a749efb47e79fad18647a7b9525161e536c5"
-    sha256 cellar: :any,                 ventura:        "30f0b2a803560c18bebeb851c222c1a8352e7130045a02e3680f7aff40d5d180"
-    sha256 cellar: :any,                 monterey:       "51b8a1f0d7873e4f578f75e1102ac09f6026c264b52add86d9ec8c25fa9a5348"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:   "e9da631e1b1809bb851303ab71ebeb80319064d1672e0511d605869c29686339"
+    sha256 cellar: :any,                 arm64_sonoma:   "51bd3947698d7b10bb3c564ac1af6253939cc2c92a213a987eab78b69eca413e"
+    sha256 cellar: :any,                 arm64_ventura:  "ecc727bfc088943865ce50c8a119f22cc119cb0bb40475c3b335ec0106ccb4c3"
+    sha256 cellar: :any,                 arm64_monterey: "13297c3d65c7163ed6435b61b976bbb382627c1f0287d4c451e96504a1482666"
+    sha256 cellar: :any,                 sonoma:         "cd93d31e5b19eeaa76015c1fe532b47bfd9da10751b4e22b39868e5799bf1ef2"
+    sha256 cellar: :any,                 ventura:        "53593f93829e9fa15b9fa2454941ddc5a3b9bb51b9d1715ad37c39102c7aee2c"
+    sha256 cellar: :any,                 monterey:       "b7c47233eb83cc4fdef9408f13d72d43f38d098526be8412dba83b3fde002729"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:   "a0cc957c64dc08d73d4d141746d7d2707db4d7c405b2835060dd8f5c827c023b"
   end
 
   depends_on "dune" => :build
   depends_on "ocamlbuild" => :build
   depends_on "ocaml"
 
+  # Allow to compile with OCaml >= 5.2.0
+  # Shall be removed once the first new version of menhir after 20231231 is released.
+  # https://gitlab.inria.fr/fpottier/menhir/-/commit/9b49658fc64736511ec41a06bb474afbf3dc6690
+  patch :DATA
+
   def install
     system "dune", "build", "@install"
     system "dune", "install", "--prefix=#{prefix}", "--mandir=#{man}"
@@ -47,3 +53,18 @@ def install
     assert_predicate testpath/"test.mli", :exist?
   end
 end
+
+__END__
+diff --git a/sdk/cmly_api.ml b/sdk/cmly_api.ml
+index acbb8714..88c93951 100644
+--- a/sdk/cmly_api.ml
++++ b/sdk/cmly_api.ml
+@@ -146,7 +146,7 @@ module type GRAMMAR = sig
+     val default_reduction : t -> production option
+
+     val reductions   : t -> (terminal * production list) list
+-    [@@@ocaml.deprecated "Please use [get_reductions]"]
++    [@@ocaml.deprecated "Please use [get_reductions]"]
+   end
+
+   module Print : sig
diff --git a/Formula/o/ocaml-findlib.rb b/Formula/o/ocaml-findlib.rb
@@ -4,21 +4,21 @@ class OcamlFindlib < Formula
   url "http://download.camlcity.org/download/findlib-1.9.6.tar.gz"
   sha256 "2df996279ae16b606db5ff5879f93dbfade0898db9f1a3e82f7f845faa2930a2"
   license "MIT"
-  revision 1
+  revision 2
 
   livecheck do
     url "http://download.camlcity.org/download/"
     regex(/href=.*?findlib[._-]v?(\d+(?:\.\d+)+)\.t/i)
   end
 
   bottle do
-    sha256 arm64_sonoma:   "57ff114e13929f3b5382c78418a43b896cd2c4f3d9627d9017b1d94a2609489a"
-    sha256 arm64_ventura:  "377870c6a2a9a7e059136d3fb161e9cf0d48191f4e3df7fb7adfc7003e0527fc"
-    sha256 arm64_monterey: "ad81c990d61dbcee8f0ab536ac519f697e7839313290a3b3f9ccff2717100a07"
-    sha256 sonoma:         "187c3979f7d1a04e3e009a9c36d0943c5d6bf7ae780fdfb38a27e0923d31eea6"
-    sha256 ventura:        "a0fc2d66f141c96efbf271429b7655ca53f05ee1c33350822903807beb8a96d7"
-    sha256 monterey:       "32251158ac86cbfafb14df0866da222e540fa0c4a30a023e631fb411dc604a8d"
-    sha256 x86_64_linux:   "0d81ac15dc0af7b4675ca0c2a5f302594ed5f5a676af51066d7d9c0f8f41faf5"
+    sha256 arm64_sonoma:   "27db02a3efa66607b5131c5c7e2fe171540b3967ab0e80da5c62252b2cf8936b"
+    sha256 arm64_ventura:  "c9b81ddf8a113a064ef29cc3f0477a608367cec59a87885101ae5ab7063010dd"
+    sha256 arm64_monterey: "e37c0b5bf1940cbbc4bfb6406e10d060aa76164bb77d598adf82834a9b725a07"
+    sha256 sonoma:         "c7dd3598b58e99b1dfcc4060a1b4bb244e289ae9a13fe98914f29217b5ab67d7"
+    sha256 ventura:        "ba4ead7c276b54aa9c48c6e2b929aea8f04a1cbbb808fbfb087a5d9f03fe47ee"
+    sha256 monterey:       "5fc964c610117d95d20857f3ffffb52d6f518fe502c74a3ec40e108e60d9e40d"
+    sha256 x86_64_linux:   "75203b91c65f7c6ca18a0105202a5a6aeffbd225a4f97fc7a1d977bcaa403f30"
   end
 
   depends_on "ocaml"

diff --git a/Formula/o/ocaml-num.rb b/Formula/o/ocaml-num.rb
@@ -4,15 +4,16 @@ class OcamlNum < Formula
   url "https://github.com/ocaml/num/archive/refs/tags/v1.5.tar.gz"
   sha256 "7ae07c8f5601e2dfc5008a62dcaf2719912ae596a19365c5d7bdf2230515959a"
   license "LGPL-2.1"
+  revision 1
 
   bottle do
-    sha256 cellar: :any,                 arm64_sonoma:   "6a837fdd87b83bdb4db4602fc9942dad50624c7d99481f41b99716bf592aee85"
-    sha256 cellar: :any,                 arm64_ventura:  "231cfed2d688c19e41a1ae0c82905ccb3959cc6fbc86d2217ca9deb6a8288266"
-    sha256 cellar: :any,                 arm64_monterey: "4d375fd5288c5f44f4ff65e5c85eb1e92b887af71db96b2e3f63a80399993a0d"
-    sha256 cellar: :any,                 sonoma:         "f2b874ac0a07256fa90b68eadf30afa7f47fd93ce401ba2427811d9d8260d5e3"
-    sha256 cellar: :any,                 ventura:        "9ee4141f058d0fe4d54ebb82fa0e9775cc7710ee54beec33ffea4167e92b4f3e"
-    sha256 cellar: :any,                 monterey:       "12dfa8ad705078f598817b0da7318ecd976c96d711c10fb77cce6c280c12bf77"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:   "1e0e5e92a00aefb0ee4682437417fd5ee86e02671738c9b476820573f13f44e7"
+    sha256 cellar: :any,                 arm64_sonoma:   "7e7b2d6adfef7295f25999b02b580412d2fa696c6930b664c012a3de467d3573"
+    sha256 cellar: :any,                 arm64_ventura:  "75917ef34c2d9db4edb9e26c4032ed90e88b5b9c60d269a9d3eeec2d064b0010"
+    sha256 cellar: :any,                 arm64_monterey: "9e62643f96acfd3196326a958182691dac900fab5968460d4b94278e90c5a862"
+    sha256 cellar: :any,                 sonoma:         "82b313f948966c3e7ac0871dec7b2a086454c52701010a88a2f3eafea402db7b"
+    sha256 cellar: :any,                 ventura:        "3efd7a7c5e693579e750fbdf013e1cf709b31abe7bf41085b2223a31fcae5741"
+    sha256 cellar: :any,                 monterey:       "6d0fcf3f73719c755a40b41ca397a0210ac1ee336fb37685a3674673ae526de8"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:   "a8bd4fec57bb98c82767df5d77937b67170256cf20a67b9335ed30de3248ab75"
   end
 
   depends_on "ocaml-findlib" => :build