Skip to content

Commit 19435e7

Browse files
committed
rocq-elpi: update 3.2.0_1 bottle.
1 parent 7acef75 commit 19435e7

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

Formula/r/rocq-elpi.rb

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -13,12 +13,12 @@ class RocqElpi < Formula
1313
end
1414

1515
bottle do
16-
sha256 arm64_tahoe: "74c51f9e85e43b2bcae1e5d2e4b0b311fe9bb3f49a7c6992bd25fdbf6164f7d4"
17-
sha256 arm64_sequoia: "69278e595aff86a82f87a99a8730caf06bd3bf9d64c3157fa264ab6badca5181"
18-
sha256 arm64_sonoma: "a9992a5ae0fd18346ac89619843addb283874467a476f1d4d51f055074868b4a"
19-
sha256 sonoma: "c626df4800345ea4e5410d2d4f821f7f260777477de575248a17646a8edcadb4"
20-
sha256 arm64_linux: "537b020338d859d4e054e2703d1b4653649bf921db5adfc42c6087fc50ba4dac"
21-
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"
2222
end
2323

2424
depends_on "dune" => :build

0 commit comments

Comments
 (0)