diff --git a/Formula/c/camlp-streams.rb b/Formula/c/camlp-streams.rb index 8ccdb4b572802..fb8bd6b3b8e87 100644 --- 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 index 1857918750478..bcbdd873d23c7 100644 --- 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 index 65f6201638254..f63d843e0bd15 100644 --- 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 index fc39e7dd0e06a..5db733e2e0936 100644 --- 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 index 9c4d287d57085..967b0409793cc 100644 --- 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 index db7b5a422254c..9eea7423506c3 100644 --- a/Formula/m/math-comp.rb +++ b/Formula/m/math-comp.rb @@ -4,17 +4,17 @@ 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 @@ -22,6 +22,11 @@ class MathComp < Formula 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 index 04a6bb4775722..e1c6579e8ff94 100644 --- 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 index 65988b2a0c2e3..9ef762557b895 100644 --- a/Formula/o/ocaml-findlib.rb +++ b/Formula/o/ocaml-findlib.rb @@ -4,7 +4,7 @@ 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/" @@ -12,13 +12,13 @@ class OcamlFindlib < Formula 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 index ca5f847482bc3..c0d009ffa3b0f 100644 --- 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 diff --git a/Formula/o/ocaml-zarith.rb b/Formula/o/ocaml-zarith.rb index bc521ee206cd2..c7dfcbab90f15 100644 --- a/Formula/o/ocaml-zarith.rb +++ b/Formula/o/ocaml-zarith.rb @@ -4,16 +4,16 @@ class OcamlZarith < Formula url "https://github.com/ocaml/Zarith/archive/refs/tags/release-1.13.tar.gz" sha256 "a5826d33fea0103ad6e66f92583d8e075fb77976de893ffdd73ada0409b3f83b" license "LGPL-2.0-only" - revision 1 + revision 2 bottle do - sha256 cellar: :any, arm64_sonoma: "932642604c05ad5bb0d69c83b846263480e871dd637a07b25dadd3c9819dd282" - sha256 cellar: :any, arm64_ventura: "ebcdae625f98d18e5165ddd32a50ba524cbc65608d0eadfb7ace4d7a2ed48ac4" - sha256 cellar: :any, arm64_monterey: "94f18c52e35044939bc72ea6b318cc24b0a8dff9d0b224632fef51268a66f269" - sha256 cellar: :any, sonoma: "92762f6bd2138426c75811d46b6298aacf2a48796c1c74332369b52b69536634" - sha256 cellar: :any, ventura: "73bb4af9dd50aa6ca4c5be5b856e6d760279c14f3e8ec7950098b0718c405210" - sha256 cellar: :any, monterey: "ed57526ab3af9355aecd1990d5e142c825b135d10702465d23f125300bdd510c" - sha256 cellar: :any_skip_relocation, x86_64_linux: "c196a69f7ab0a5f9f03cdba4bf6be873cb49401a66c8d0fc84be5a846aa7662f" + sha256 cellar: :any, arm64_sonoma: "85b400fa6861f589bedb6f40c99848fda05ead5c4688d026782b594faa61f85b" + sha256 cellar: :any, arm64_ventura: "8ff062fbfca3ad3c65e752c03f7d4d00cbe1825a8179b3d6b2ae8a4aff60e218" + sha256 cellar: :any, arm64_monterey: "86fd9c681ff691a68efa6832b4942c5b7ab202c6940655f66c19a53641808573" + sha256 cellar: :any, sonoma: "5347a67f893e51944fc7d781abcca6b42af49aa86d9f590e816bbabf1fe752d5" + sha256 cellar: :any, ventura: "7c3f79fa6b1a362ef4fca2ce9765820cdd09fb9d62da6185fd2ed7154eb3cfed" + sha256 cellar: :any, monterey: "de7eaedd674f2af979fd9485c37efeba9f92d546800bcaae7d5dd80e31c9371a" + sha256 cellar: :any_skip_relocation, x86_64_linux: "6cf499a4828612b8ee118b3cb9e9e38b7a2f2c79480833a729a869201fe87737" end depends_on "ocaml-findlib" => :build diff --git a/Formula/o/ocaml.rb b/Formula/o/ocaml.rb index b21bb4c68dd15..842a972ef76f6 100644 --- a/Formula/o/ocaml.rb +++ b/Formula/o/ocaml.rb @@ -13,8 +13,8 @@ class Ocaml < Formula desc "General purpose programming language in the ML family" homepage "https://ocaml.org/" - url "https://caml.inria.fr/pub/distrib/ocaml-5.1/ocaml-5.1.0.tar.xz" - sha256 "6ce8db393aafc264e5af731c68fbeb20920ab6ae84d5bf93511965b7423351ab" + url "https://caml.inria.fr/pub/distrib/ocaml-5.2/ocaml-5.2.0.tar.xz" + sha256 "2f4bf479f51479f9bf8c7f1694a6ea7336bbf774f4ad6da6b59d1ad4939dd8a7" license "LGPL-2.1-only" => { with: "OCaml-LGPL-linking-exception" } head "https://github.com/ocaml/ocaml.git", branch: "trunk" @@ -24,13 +24,13 @@ class Ocaml < Formula end bottle do - sha256 cellar: :any, arm64_sonoma: "c58b2daea7553f2276e006f833b49edf1d0e0ea4598552457db3f7d284f45ea8" - sha256 cellar: :any, arm64_ventura: "e74bcbd841101ac0f015593e03fb32e5f7c0d6893d187b3abb16306ea861360f" - sha256 cellar: :any, arm64_monterey: "8561604e9a2b36814efc882cedbff0a8faee43b98e86bd26b4677955143184c7" - sha256 cellar: :any, sonoma: "d26232128990896f2af0d49ddbb53487184582000451ce342e099edc05729712" - sha256 cellar: :any, ventura: "c38c39b1cad05df2ae44e87e369b8278f71d3fc82224224a409cd9f47c885135" - sha256 cellar: :any, monterey: "1218880aab20da9ad579134974eb0c915c68965de9348345c611b909f29f0ee5" - sha256 cellar: :any_skip_relocation, x86_64_linux: "c2e8fd353851e91aadd166cf0b7b737ddf19537917ca7ef6360df42042d73e9d" + sha256 cellar: :any, arm64_sonoma: "20ca740622792bad16589a5752f4523252b40fff85caa870efacfb690148cbe0" + sha256 cellar: :any, arm64_ventura: "b96a94c043ab7a2f5fc9fc6796c29c3159882082a926937fa7bd86b0eaea22ae" + sha256 cellar: :any, arm64_monterey: "7948db8ae4947a4b98bb1b7c4c3afbd1daa28711100af560a5498d5af1a34995" + sha256 cellar: :any, sonoma: "6158cd2388cda60ca09cd8af1de8668bb1075fa94d442b1d393111e7d80b5665" + sha256 cellar: :any, ventura: "ebc7f049ce591904a11c7e8aa7af06117f53dd2ea0757678489f8b22e6d73515" + sha256 cellar: :any, monterey: "8383843a0d7419a7b4886ec111f37f289e0fdb470346fe4e8eea50213b0f1a2a" + sha256 x86_64_linux: "43cc50f40740c82ff6f0d86be7621c8c84331c0622e4db1978cd5752e4a56de4" end # The ocaml compilers embed prefix information in weird ways that the default