Skip to content

Commit 8af6dd6

Browse files
BrewTestBotBrewTestBot
authored
Merge pull request #246917 from Homebrew/rocq-9.1.0
rocq 9.1.0
2 parents addcc52 + 19435e7 commit 8af6dd6

File tree

4 files changed

+29
-36
lines changed

4 files changed

+29
-36
lines changed

‎Formula/h/hierarchy-builder.rb‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -4,20 +4,20 @@ class HierarchyBuilder < Formula
44
url "https://github.com/math-comp/hierarchy-builder/releases/download/v1.10.1/hierarchy-builder-1.10.1.tar.gz"
55
sha256 "8fa555024ffee5892b3bf516db2ade1378d9902479fa6109c8f047bf760cdfa4"
66
license "MIT"
7-
revision 1
7+
revision 2
88

99
livecheck do
1010
url :stable
1111
regex(/^v?(\d+(?:\.\d+)+)$/i)
1212
end
1313

1414
bottle do
15-
sha256 cellar: :any_skip_relocation, arm64_tahoe: "35bd362525c05769fcc16683fef86c01e80b63a365930286fdc912896b2f4848"
16-
sha256 cellar: :any_skip_relocation, arm64_sequoia: "53b37a7304a07e4ee3ed7cfdfc951e2befd4a19d548fc17c352dc2db0f60c2d4"
17-
sha256 cellar: :any_skip_relocation, arm64_sonoma: "0e56941b23009101a257cd9b3f09aad055b9f0d8551ec3f417e33423afb1bc11"
18-
sha256 cellar: :any_skip_relocation, sonoma: "b26edb3883602514fcc7d883e143ddad2eb7a8f1ff9796fa9a82907491d3bd46"
19-
sha256 cellar: :any_skip_relocation, arm64_linux: "bcf273f10da3a09b950f9ee8642141b62dc0c2e9ff56a474543ba1d41427febb"
20-
sha256 cellar: :any_skip_relocation, x86_64_linux: "162acce4300ab6afc3d72ca5abda155530a9a22bfa09389d8eddf420cddb1408"
15+
sha256 cellar: :any_skip_relocation, arm64_tahoe: "d396e1b62e010d59daecdd46a8b5347734bccc232c41989055d98be3b06d4220"
16+
sha256 cellar: :any_skip_relocation, arm64_sequoia: "7d31310a9313e67b0310353ae5d0ac4230530b2f041bcafa2c7f0194fce7896e"
17+
sha256 cellar: :any_skip_relocation, arm64_sonoma: "d42825bd39b10f11c6763086c5c0181f6be27b717ca655a80a59c22123808d2b"
18+
sha256 cellar: :any_skip_relocation, sonoma: "12790cc24bb58c87b1725335bba4b2fa9fee9aa2c5ce6b3a59317571ca44e446"
19+
sha256 cellar: :any_skip_relocation, arm64_linux: "339377ffeaa02842ffd1da1262034745248ad140e5dfdb9e0484ecab4eac52ab"
20+
sha256 cellar: :any_skip_relocation, x86_64_linux: "8aabf5bcc9d30ba08a64e54e2b8f41acd9c5c670eaa4607464cc72ba0132c2eb"
2121
end
2222

2323
depends_on "rocq"

‎Formula/m/math-comp.rb‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -4,18 +4,18 @@ class MathComp < Formula
44
url "https://github.com/math-comp/math-comp/archive/refs/tags/mathcomp-2.4.0.tar.gz"
55
sha256 "6307218d7e434fb6ffc81b9275c673d3f7f1f4884ad59b904abd205c437021a0"
66
license "CECILL-B"
7-
revision 3
7+
revision 4
88
head "https://github.com/math-comp/math-comp.git", branch: "master"
99

1010
no_autobump! because: :requires_manual_review
1111

1212
bottle do
13-
sha256 cellar: :any_skip_relocation, arm64_tahoe: "908f5d0bd5477080b0a551d795fc8dd4f6fb98e4c874948d73e2c90f8698530c"
14-
sha256 cellar: :any_skip_relocation, arm64_sequoia: "eac87e535ea5186041ea4cfd99727383a650db2123f5c5cecc289a89ffe08c95"
15-
sha256 cellar: :any_skip_relocation, arm64_sonoma: "c107c4e8a28915845a0325784f02dd8204a794a88e0800ecf351f48b7391e503"
16-
sha256 cellar: :any_skip_relocation, sonoma: "5c3fae8f2f9b3c9c634748de8bdfb6929627325630136cbce33edd8cb48fefd0"
17-
sha256 cellar: :any_skip_relocation, arm64_linux: "8da333575574023deb548d3c5875e50415f09c73320deb19059a89ba07e2b39c"
18-
sha256 cellar: :any_skip_relocation, x86_64_linux: "9594a634d64b7eb0059b38bb23ce7a200d6ca2b1316f5283046d1e495320b3a3"
13+
sha256 cellar: :any_skip_relocation, arm64_tahoe: "ff9e114a152936ef20294955fea51e5ff3ea8517e3c2edfa7118b876a9e28231"
14+
sha256 cellar: :any_skip_relocation, arm64_sequoia: "30082a5dfdab43dab0366d5786849e9f083c9e65862a8fb9636fd0098fb93a28"
15+
sha256 cellar: :any_skip_relocation, arm64_sonoma: "d7b68e89c8367d4dd92552d89a3186116639c067f3b1b4fe3a64e4117c6bb5b2"
16+
sha256 cellar: :any_skip_relocation, sonoma: "3fe80b0b9b352c34d042ca6d1e92661473b645700f9fdd3fc29bd095f877ac0f"
17+
sha256 cellar: :any_skip_relocation, arm64_linux: "f6e78761c625c53fe79ee04f3a2203bbdcb9d5baa2efcc162bb905b58f8fd6df"
18+
sha256 cellar: :any_skip_relocation, x86_64_linux: "909068d86716ce2c0f6d9d000d95617123dd3bf666bc245bc2147c0f4727bd3d"
1919
end
2020

2121
depends_on "ocaml" => :build

‎Formula/r/rocq-elpi.rb‎

Lines changed: 7 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -5,19 +5,20 @@ class RocqElpi < Formula
55
url "https://github.com/LPCIC/coq-elpi/releases/download/v3.2.0/rocq-elpi-3.2.0.tar.gz"
66
sha256 "46e2e9baa79c7376cf1afb132a6aa9edc256e9c386d0a5f7ddef5fa136e98759"
77
license "LGPL-2.1-or-later"
8+
revision 1
89

910
livecheck do
1011
url :stable
1112
regex(/^v?(\d+(?:\.\d+)+)$/i)
1213
end
1314

1415
bottle do
15-
sha256 arm64_tahoe: "74c51f9e85e43b2bcae1e5d2e4b0b311fe9bb3f49a7c6992bd25fdbf6164f7d4"
16-
sha256 arm64_sequoia: "69278e595aff86a82f87a99a8730caf06bd3bf9d64c3157fa264ab6badca5181"
17-
sha256 arm64_sonoma: "a9992a5ae0fd18346ac89619843addb283874467a476f1d4d51f055074868b4a"
18-
sha256 sonoma: "c626df4800345ea4e5410d2d4f821f7f260777477de575248a17646a8edcadb4"
19-
sha256 arm64_linux: "537b020338d859d4e054e2703d1b4653649bf921db5adfc42c6087fc50ba4dac"
20-
sha256 x86_64_linux: "15de053729583cfb9e7ddabd10e23996f8436d1748a811132bbb77f0019ce5e9"
16+
sha256 arm64_tahoe: "2da325e513a39adb79ecb5e8cf05a79312ef1d1dd61153418e31710a0d892e8d"
17+
sha256 arm64_sequoia: "92c552c672119f646308d2d44c912d9d615a3c23878489d3a0f12f7c8cd3aec8"
18+
sha256 arm64_sonoma: "d251297888afd3d1991a0c2d2cd0c5efb1d5655edb4ad267999ec0a5eb288361"
19+
sha256 sonoma: "61059ec4126dfde0143cd76d3cd31f2b2618edf1f47afb3654f91bf8d69072b3"
20+
sha256 arm64_linux: "2404e71feb1d66bb5ec3df4045600f92aac10da7a077087c34ce452e5bc6db9f"
21+
sha256 x86_64_linux: "c312095185bdfffa85a5d821e1685103c520d674c450211c4cf21306937e4e48"
2122
end
2223

2324
depends_on "dune" => :build

‎Formula/r/rocq.rb‎

Lines changed: 8 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -2,19 +2,14 @@ class Rocq < Formula
22
desc "Proof assistant for higher-order logic"
33
homepage "https://rocq-prover.org/"
44
license "LGPL-2.1-only"
5-
revision 1
65

76
stable do
8-
url "https://github.com/rocq-prover/rocq/releases/download/V9.0.0/rocq-9.0.0.tar.gz"
9-
sha256 "82f86646fd3d047f760837648195c73374beee667b1c9592d31c5426e3b43a51"
7+
url "https://github.com/rocq-prover/rocq/releases/download/V9.1.0/rocq-9.1.0.tar.gz"
8+
sha256 "b236dc44f92e1eeca6877c7ee188a90c2303497fe7beb99df711ed5a7ce0d824"
109

1110
resource "stdlib" do
1211
url "https://github.com/rocq-prover/stdlib/releases/download/V9.0.0/stdlib-9.0.0.tar.gz"
1312
sha256 "1ab6adc42dfc651ddc909604bae1a54ff5623cda837f93677a8b12aab9eec711"
14-
15-
livecheck do
16-
formula :parent
17-
end
1813
end
1914
end
2015

@@ -24,14 +19,12 @@ class Rocq < Formula
2419
end
2520

2621
bottle do
27-
sha256 arm64_tahoe: "d1871041b4d1f98648b9cdbea19a5aeab152f0163d53845e3c74e1406a7d48e9"
28-
sha256 arm64_sequoia: "1c8bf9b1e08912ccf86eceac13285b033a0791d921b5016d5dc9437dc8792264"
29-
sha256 arm64_sonoma: "dfd1896ea0ad7e59e8b0aba7b08f9cf1ec52dd64c096421d300be85236d53552"
30-
sha256 arm64_ventura: "1d7f694924c703f08f8116ee66d2cbb21ea27eecf5fe36a0235d075738c3ea36"
31-
sha256 sonoma: "2303c145684cd605824862a5b4fd24bf68ab72348afbd88090c72cda0f1b518a"
32-
sha256 ventura: "b83ce741220395e1d45e34f1f3d7a92c16dfc5b825c6e99724758b53992b881b"
33-
sha256 arm64_linux: "b71ccca73282fdce2198310c9db26efabb6960115e2a76c2b5f609522eefbb40"
34-
sha256 x86_64_linux: "9f7bccdc7ebb68bbf99c31bbe796e5d12cc2e6a32b3859d83510bda63cf9cb9b"
22+
sha256 arm64_tahoe: "df231dd84d387ce8914fb260fd24685af7d6da6bb998c9d52efbf13b9718d9fa"
23+
sha256 arm64_sequoia: "31e208459941d45b5c5e41278f79d6c40cd1abcb0b873c3ffc0df54f6cac6501"
24+
sha256 arm64_sonoma: "3aa44bda57467bfb3c27d928ef415e829f5c832ed59dbd4352b7e5ade3614c7c"
25+
sha256 sonoma: "5dc6e0ae4cc0764971fce661a642e28120742518254c3ca69c01cafd8e4619ea"
26+
sha256 arm64_linux: "b8ba5bae249958b1537e0edc72b0a29f78d0e1a840dadddd3f196ce19546abe4"
27+
sha256 x86_64_linux: "8069baf9a8804ce6945b8a808eaa88fa25e1b22b9334053e5570a3b3d7e14b78"
3528
end
3629

3730
head do
@@ -60,7 +53,6 @@ def install
6053
ENV.prepend_path "OCAMLPATH", Formula["ocaml-findlib"].opt_lib/"ocaml"
6154

6255
packages = %w[rocq-runtime coq-core rocq-core coqide-server]
63-
packages << "coq" if build.stable? # TODO: Remove on next release
6456

6557
system "./configure", "-prefix", prefix,
6658
"-mandir", man,

0 commit comments

Comments
 (0)