Skip to content

Commit

Permalink
Fix whitespace to make brew audit happy
Browse files Browse the repository at this point in the history
  • Loading branch information
@tautschnig
tautschnig committed Sep 19, 2024
1 parent 0de483d commit 0b3bc42
Show file tree
Hide file tree
Showing 30 changed files with 199 additions and 199 deletions.
14 changes: 7 additions & 7 deletions Formula/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,15 +8,15 @@ class CbmcAT5722 < Formula

bottle do
root_url "https://github.com/diffblue/homebrew-cbmc/releases/download/bag-of-goodies"
sha256 cellar: :any_skip_relocation, arm64_ventura: "c5f38ac6f64a065c962358926cebf162bf176a366d644ea14c1e05ddb2762184"
sha256 cellar: :any_skip_relocation, arm64_ventura: "c5f38ac6f64a065c962358926cebf162bf176a366d644ea14c1e05ddb2762184"
sha256 cellar: :any_skip_relocation, arm64_monterey: "4634234bd40e2b70fbb39c368569bbb18c10ca9ad2695b4512862c021ab34f5f"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "7547ec6d036aff7bfff51c9f739757a2872cb734395912dda49d2beae6e91e46"
sha256 cellar: :any_skip_relocation, ventura: "5c1e8fd0bff1e0632367c295bd4ebe80fe222242f3bafa31b4f1cf8b310c6dc2"
sha256 cellar: :any_skip_relocation, monterey: "cd58b325a241e30a67e19f14b6ae1238f48cd2c113333721282478173d1902ce"
sha256 cellar: :any_skip_relocation, big_sur: "7c3b32fa1ceb7d7d94ea2c2ca3bb4ceb7ce73f9f537e8cbf6d443e8e12bc48cc"
sha256 cellar: :any_skip_relocation, x86_64_linux: "d37f391029fb17067c0c3a88b621d8aef0ad75555cefbac94bc8cd21e532ea2f"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "7547ec6d036aff7bfff51c9f739757a2872cb734395912dda49d2beae6e91e46"
sha256 cellar: :any_skip_relocation, ventura: "5c1e8fd0bff1e0632367c295bd4ebe80fe222242f3bafa31b4f1cf8b310c6dc2"
sha256 cellar: :any_skip_relocation, monterey: "cd58b325a241e30a67e19f14b6ae1238f48cd2c113333721282478173d1902ce"
sha256 cellar: :any_skip_relocation, big_sur: "7c3b32fa1ceb7d7d94ea2c2ca3bb4ceb7ce73f9f537e8cbf6d443e8e12bc48cc"
sha256 cellar: :any_skip_relocation, x86_64_linux: "d37f391029fb17067c0c3a88b621d8aef0ad75555cefbac94bc8cd21e532ea2f"
end

depends_on "cmake" => :build
depends_on "maven" => :build
depends_on "openjdk" => :build
Expand Down
12 changes: 6 additions & 6 deletions Formula/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,13 +8,13 @@ class CbmcAT5730 < Formula

bottle do
root_url "https://github.com/diffblue/homebrew-cbmc/releases/download/bag-of-goodies"
sha256 cellar: :any_skip_relocation, arm64_ventura: "3630f8e137169247536d4f26437f77f99c0ca2040b1aee6a54c01aadbd574aae"
sha256 cellar: :any_skip_relocation, arm64_ventura: "3630f8e137169247536d4f26437f77f99c0ca2040b1aee6a54c01aadbd574aae"
sha256 cellar: :any_skip_relocation, arm64_monterey: "6573be59317f93d892710f2ca9e3b1f5d8c88eafbce53c77d2f98f393b87a3e0"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "f6d9a803c1f4b85ceb087d8610a846e2a500277426c62c203eff964765b493b4"
sha256 cellar: :any_skip_relocation, ventura: "0a4b3dc1037ab668f748126e09d66f1ffe0d1bce0a4ae12d77794eb72337d72e"
sha256 cellar: :any_skip_relocation, monterey: "780611426522ea7d7934b939fe9dcc190956cc17558c236fa32814679044ee81"
sha256 cellar: :any_skip_relocation, big_sur: "b43b935931bd0079b4ee53defc52cda331f231a63d64cdbd05617f6e26137af9"
sha256 cellar: :any_skip_relocation, x86_64_linux: "e93a5083fc1f71683102d6c96ba1b7cee0d9caa9f705392532de53c6ccdb39d6"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "f6d9a803c1f4b85ceb087d8610a846e2a500277426c62c203eff964765b493b4"
sha256 cellar: :any_skip_relocation, ventura: "0a4b3dc1037ab668f748126e09d66f1ffe0d1bce0a4ae12d77794eb72337d72e"
sha256 cellar: :any_skip_relocation, monterey: "780611426522ea7d7934b939fe9dcc190956cc17558c236fa32814679044ee81"
sha256 cellar: :any_skip_relocation, big_sur: "b43b935931bd0079b4ee53defc52cda331f231a63d64cdbd05617f6e26137af9"
sha256 cellar: :any_skip_relocation, x86_64_linux: "e93a5083fc1f71683102d6c96ba1b7cee0d9caa9f705392532de53c6ccdb39d6"
end

depends_on "cmake" => :build
Expand Down
14 changes: 7 additions & 7 deletions Formula/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,15 +8,15 @@ class CbmcAT5740 < Formula

bottle do
root_url "https://github.com/diffblue/homebrew-cbmc/releases/download/bag-of-goodies"
sha256 cellar: :any_skip_relocation, arm64_ventura: "f0002739e4c96055bb1bc6b5540dde03c48da46f6c1e44bc934281c73c4f8600"
sha256 cellar: :any_skip_relocation, arm64_ventura: "f0002739e4c96055bb1bc6b5540dde03c48da46f6c1e44bc934281c73c4f8600"
sha256 cellar: :any_skip_relocation, arm64_monterey: "fc71ae95ac473e8a252105c0ced636bc607762706d3780a2ca0029a01f9cbabf"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "c5030b4217073fd7d50baa42a797470ef649b5321f39b34dccd4dd7582ba40a3"
sha256 cellar: :any_skip_relocation, ventura: "857d1b7afaecdf948f588157a45febf08800e4031ecdd309b3c2e37ee374c45d"
sha256 cellar: :any_skip_relocation, monterey: "87e245c720019f41b073c4f1c5f4cfa2b018c0a8178363e6c67990f2e44f975f"
sha256 cellar: :any_skip_relocation, big_sur: "7bc1d99ae2c8a7ed27c83fba7b5042252a3ce4fb67c5acffe962130aacdefcf3"
sha256 cellar: :any_skip_relocation, x86_64_linux: "611cbbdc0a68bba17e830560d3da83e78cc2962fe3fb29c96276bd3814542a9d"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "c5030b4217073fd7d50baa42a797470ef649b5321f39b34dccd4dd7582ba40a3"
sha256 cellar: :any_skip_relocation, ventura: "857d1b7afaecdf948f588157a45febf08800e4031ecdd309b3c2e37ee374c45d"
sha256 cellar: :any_skip_relocation, monterey: "87e245c720019f41b073c4f1c5f4cfa2b018c0a8178363e6c67990f2e44f975f"
sha256 cellar: :any_skip_relocation, big_sur: "7bc1d99ae2c8a7ed27c83fba7b5042252a3ce4fb67c5acffe962130aacdefcf3"
sha256 cellar: :any_skip_relocation, x86_64_linux: "611cbbdc0a68bba17e830560d3da83e78cc2962fe3fb29c96276bd3814542a9d"
end

depends_on "cmake" => :build
depends_on "maven" => :build
depends_on "openjdk" => :build
Expand Down
12 changes: 6 additions & 6 deletions Formula/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,13 +8,13 @@ class CbmcAT5750 < Formula

bottle do
root_url "https://github.com/diffblue/homebrew-cbmc/releases/download/bag-of-goodies"
sha256 cellar: :any_skip_relocation, arm64_ventura: "badf74a9a7ace18ed9532ec25df7ed16377b67eb6463914cc43e93f7236a8d27"
sha256 cellar: :any_skip_relocation, arm64_ventura: "badf74a9a7ace18ed9532ec25df7ed16377b67eb6463914cc43e93f7236a8d27"
sha256 cellar: :any_skip_relocation, arm64_monterey: "f636390cd2da664d8702242caa0b47afb6d6722e060ee87c2761d3ee07a748fd"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "8432f43352e9ec26114ee86c6b622f1b3a39fd8a7414251d80c71c27308f580d"
sha256 cellar: :any_skip_relocation, ventura: "363496769aeff32f195aceb74ef68acd262d0929501d1b9777ba2eeb7455e797"
sha256 cellar: :any_skip_relocation, monterey: "88a5343137564dffb464887d34ce7ee2e44a5b56695c1dbf1b67683676fa245c"
sha256 cellar: :any_skip_relocation, big_sur: "f15b880c992bef5012f23dd17e08b0e9f56907f5c874825fe06a80feab30ae46"
sha256 cellar: :any_skip_relocation, x86_64_linux: "643a52e06219430ec2461f0143d84b968a2563f8bbc96b5304f824278535f95b"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "8432f43352e9ec26114ee86c6b622f1b3a39fd8a7414251d80c71c27308f580d"
sha256 cellar: :any_skip_relocation, ventura: "363496769aeff32f195aceb74ef68acd262d0929501d1b9777ba2eeb7455e797"
sha256 cellar: :any_skip_relocation, monterey: "88a5343137564dffb464887d34ce7ee2e44a5b56695c1dbf1b67683676fa245c"
sha256 cellar: :any_skip_relocation, big_sur: "f15b880c992bef5012f23dd17e08b0e9f56907f5c874825fe06a80feab30ae46"
sha256 cellar: :any_skip_relocation, x86_64_linux: "643a52e06219430ec2461f0143d84b968a2563f8bbc96b5304f824278535f95b"
end

depends_on "cmake" => :build
Expand Down
12 changes: 6 additions & 6 deletions Formula/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,13 +8,13 @@ class CbmcAT5761 < Formula

bottle do
root_url "https://github.com/diffblue/homebrew-cbmc/releases/download/bag-of-goodies"
sha256 cellar: :any_skip_relocation, arm64_ventura: "44f05ac040c6213c398baf481c19a829b2ccc482843171f038198f186047eb36"
sha256 cellar: :any_skip_relocation, arm64_ventura: "44f05ac040c6213c398baf481c19a829b2ccc482843171f038198f186047eb36"
sha256 cellar: :any_skip_relocation, arm64_monterey: "f2352fb816ce9900006859be632fe27e253b26812b4e6ea88b86e1bfd910fe07"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "e4ea1dc9b9853e590d9a431c03fc4e5e84522cdbe96838b766bc5b2e4391f2e6"
sha256 cellar: :any_skip_relocation, ventura: "e5fe84b2040fa14cae4a93fb09d78d61cb6155760538c505ec3d7f9ea1dc31cb"
sha256 cellar: :any_skip_relocation, monterey: "0699f198e64ce14e84ce1190ce043256fe346c7b215b61bb2416f84e793303f9"
sha256 cellar: :any_skip_relocation, big_sur: "810a1c417e7062b979ee841352dc48f1cc035592c63298df4733f2d9715df911"
sha256 cellar: :any_skip_relocation, x86_64_linux: "a26e005deeb943ed17c20daacd0a3161be79ea4869529f6b70b118ab1b05d92c"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "e4ea1dc9b9853e590d9a431c03fc4e5e84522cdbe96838b766bc5b2e4391f2e6"
sha256 cellar: :any_skip_relocation, ventura: "e5fe84b2040fa14cae4a93fb09d78d61cb6155760538c505ec3d7f9ea1dc31cb"
sha256 cellar: :any_skip_relocation, monterey: "0699f198e64ce14e84ce1190ce043256fe346c7b215b61bb2416f84e793303f9"
sha256 cellar: :any_skip_relocation, big_sur: "810a1c417e7062b979ee841352dc48f1cc035592c63298df4733f2d9715df911"
sha256 cellar: :any_skip_relocation, x86_64_linux: "a26e005deeb943ed17c20daacd0a3161be79ea4869529f6b70b118ab1b05d92c"
end

depends_on "cmake" => :build
Expand Down
12 changes: 6 additions & 6 deletions Formula/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,13 +8,13 @@ class CbmcAT5770 < Formula

bottle do
root_url "https://github.com/diffblue/homebrew-cbmc/releases/download/bag-of-goodies"
sha256 cellar: :any_skip_relocation, arm64_ventura: "185c3bd4749c46f35311d02d7f717ea6ea40187813628d59e1d241aac8745b28"
sha256 cellar: :any_skip_relocation, arm64_ventura: "185c3bd4749c46f35311d02d7f717ea6ea40187813628d59e1d241aac8745b28"
sha256 cellar: :any_skip_relocation, arm64_monterey: "7007d2536628ad9dd797e3f3b1c02fcb8a560470ad6db7332d21869276eac821"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "820cddab495928c85b9a10358070c610c9cdd39621a8cea4300ee945b766c775"
sha256 cellar: :any_skip_relocation, ventura: "b983c686a341792a9d589e619080db64cb85c1a2b00eed68d097e610c6fe901c"
sha256 cellar: :any_skip_relocation, monterey: "b0862a7921778b44fb1452a445683bb23ba077c73242249eff7910d992a0ed2f"
sha256 cellar: :any_skip_relocation, big_sur: "233f49775618acb48e692f36a02a02e4de52d0bf088e062a2591c933434e8882"
sha256 cellar: :any_skip_relocation, x86_64_linux: "792efad28d94e13612ef08c30a36e25369f306f68f7055d71f1cc8fdc9d26abf"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "820cddab495928c85b9a10358070c610c9cdd39621a8cea4300ee945b766c775"
sha256 cellar: :any_skip_relocation, ventura: "b983c686a341792a9d589e619080db64cb85c1a2b00eed68d097e610c6fe901c"
sha256 cellar: :any_skip_relocation, monterey: "b0862a7921778b44fb1452a445683bb23ba077c73242249eff7910d992a0ed2f"
sha256 cellar: :any_skip_relocation, big_sur: "233f49775618acb48e692f36a02a02e4de52d0bf088e062a2591c933434e8882"
sha256 cellar: :any_skip_relocation, x86_64_linux: "792efad28d94e13612ef08c30a36e25369f306f68f7055d71f1cc8fdc9d26abf"
end

depends_on "cmake" => :build
Expand Down
12 changes: 6 additions & 6 deletions Formula/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,13 +8,13 @@ class CbmcAT5780 < Formula

bottle do
root_url "https://github.com/diffblue/homebrew-cbmc/releases/download/bag-of-goodies"
sha256 cellar: :any_skip_relocation, arm64_ventura: "6bccfab199bdaf61d3f0a3228ab2e908c483f51b1e783cc003b3281dd90a39ca"
sha256 cellar: :any_skip_relocation, arm64_ventura: "6bccfab199bdaf61d3f0a3228ab2e908c483f51b1e783cc003b3281dd90a39ca"
sha256 cellar: :any_skip_relocation, arm64_monterey: "bad3385ed2ad08b59eb0183bc70943d00b78eb208107bc940a90918dbcd83c63"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "7ba46d92362ef139793a2e103b32cd1702bb16b92e68926d9f048a581cbcd8d7"
sha256 cellar: :any_skip_relocation, ventura: "10b840d2abde48d8179dc927dd2c50351b6bd2defed05523cdc5be4c92776775"
sha256 cellar: :any_skip_relocation, monterey: "a6cbf282d608ef77a92ea58f34bb0257b76e14b3a8aaf49461f087967cc83f7d"
sha256 cellar: :any_skip_relocation, big_sur: "00ad3dacb4d14f26256efd90a3f96062cf8dd60b748b3106518240eff496ddfb"
sha256 cellar: :any_skip_relocation, x86_64_linux: "813918766be49b7985dffc80a65d626ac3ffdde7934d81c5bd16b5f25f7b9c9f"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "7ba46d92362ef139793a2e103b32cd1702bb16b92e68926d9f048a581cbcd8d7"
sha256 cellar: :any_skip_relocation, ventura: "10b840d2abde48d8179dc927dd2c50351b6bd2defed05523cdc5be4c92776775"
sha256 cellar: :any_skip_relocation, monterey: "a6cbf282d608ef77a92ea58f34bb0257b76e14b3a8aaf49461f087967cc83f7d"
sha256 cellar: :any_skip_relocation, big_sur: "00ad3dacb4d14f26256efd90a3f96062cf8dd60b748b3106518240eff496ddfb"
sha256 cellar: :any_skip_relocation, x86_64_linux: "813918766be49b7985dffc80a65d626ac3ffdde7934d81c5bd16b5f25f7b9c9f"
end

depends_on "cmake" => :build
Expand Down
12 changes: 6 additions & 6 deletions Formula/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,13 +8,13 @@ class CbmcAT5790 < Formula

bottle do
root_url "https://github.com/diffblue/homebrew-cbmc/releases/download/bag-of-goodies"
sha256 cellar: :any_skip_relocation, arm64_ventura: "23150650b9d2d289dd915c91c046877bf11397e859f512330a56a5217b128dd0"
sha256 cellar: :any_skip_relocation, arm64_ventura: "23150650b9d2d289dd915c91c046877bf11397e859f512330a56a5217b128dd0"
sha256 cellar: :any_skip_relocation, arm64_monterey: "5701f3c7d3ae473a6d2bee21d97cf5b85c4ab73aa19ca8a652c0fc6b9905778b"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "48e393185ee00dc0332933ad856c9bc9ed97eea751b7b40a9d4fbfa7fcb0a53b"
sha256 cellar: :any_skip_relocation, ventura: "3bc134daa8eed1455613c26721ed5e9028d2609cd627f3c1948e8c2633fa1762"
sha256 cellar: :any_skip_relocation, monterey: "c4cf4f66d4f70322bfa5152eec4c0f42b34fe5ecc4e7c0319a7428c561ddfd03"
sha256 cellar: :any_skip_relocation, big_sur: "26b8bfbf20672c8de30ab33828443e23d352e38d45fe9fe175fbf12b5386387b"
sha256 cellar: :any_skip_relocation, x86_64_linux: "55a01796593a0448416402e994b484e5d18a2cd82772f6591720422dbd92b6b2"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "48e393185ee00dc0332933ad856c9bc9ed97eea751b7b40a9d4fbfa7fcb0a53b"
sha256 cellar: :any_skip_relocation, ventura: "3bc134daa8eed1455613c26721ed5e9028d2609cd627f3c1948e8c2633fa1762"
sha256 cellar: :any_skip_relocation, monterey: "c4cf4f66d4f70322bfa5152eec4c0f42b34fe5ecc4e7c0319a7428c561ddfd03"
sha256 cellar: :any_skip_relocation, big_sur: "26b8bfbf20672c8de30ab33828443e23d352e38d45fe9fe175fbf12b5386387b"
sha256 cellar: :any_skip_relocation, x86_64_linux: "55a01796593a0448416402e994b484e5d18a2cd82772f6591720422dbd92b6b2"
end

depends_on "cmake" => :build
Expand Down
12 changes: 6 additions & 6 deletions Formula/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,13 +8,13 @@ class CbmcAT5800 < Formula

bottle do
root_url "https://github.com/diffblue/homebrew-cbmc/releases/download/bag-of-goodies"
sha256 cellar: :any_skip_relocation, arm64_ventura: "7c916feede07c4cff599d1389436f9a1bade6cf401502c9797c9619113b5fc17"
sha256 cellar: :any_skip_relocation, arm64_ventura: "7c916feede07c4cff599d1389436f9a1bade6cf401502c9797c9619113b5fc17"
sha256 cellar: :any_skip_relocation, arm64_monterey: "979742467d9c866bb9a938d65149a8bf6c01bcaae9d1e43588a57110f5b2c8d9"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "59c8f5afad101b3fc610f8cded6945fb317d6cf7f65620b6b12c890797d325b2"
sha256 cellar: :any_skip_relocation, ventura: "7bfa9700ec7a5f3d0e12131546803aa8ed1248c0cd233c4b1afc8fbd185dec42"
sha256 cellar: :any_skip_relocation, monterey: "bb7b84407c60bc334cf0f1de14b16954b8a91684cdc1dbd02e0cd701a5d0e77e"
sha256 cellar: :any_skip_relocation, big_sur: "b08ba5cbc2e4a37ada324626449a187281475b90eecc95ff7c7a90f2d1f0ace9"
sha256 cellar: :any_skip_relocation, x86_64_linux: "cd5d24d635d4a0e78051bf1f5e76306fa831083b2509ec8495f9e988c57c6486"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "59c8f5afad101b3fc610f8cded6945fb317d6cf7f65620b6b12c890797d325b2"
sha256 cellar: :any_skip_relocation, ventura: "7bfa9700ec7a5f3d0e12131546803aa8ed1248c0cd233c4b1afc8fbd185dec42"
sha256 cellar: :any_skip_relocation, monterey: "bb7b84407c60bc334cf0f1de14b16954b8a91684cdc1dbd02e0cd701a5d0e77e"
sha256 cellar: :any_skip_relocation, big_sur: "b08ba5cbc2e4a37ada324626449a187281475b90eecc95ff7c7a90f2d1f0ace9"
sha256 cellar: :any_skip_relocation, x86_64_linux: "cd5d24d635d4a0e78051bf1f5e76306fa831083b2509ec8495f9e988c57c6486"
end

depends_on "cmake" => :build
Expand Down
14 changes: 7 additions & 7 deletions Formula/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,16 +5,16 @@ class CbmcAT5810 < Formula
tag: "cbmc-5.81.0",
revision: "53b50bc5150e428dac0849ddac877738b80397c2"
license "BSD-4-Clause"

bottle do
root_url "https://github.com/diffblue/homebrew-cbmc/releases/download/bag-of-goodies"
sha256 cellar: :any_skip_relocation, arm64_ventura: "49892e4e8130ee02dc448075565b4453a5bb69c3b5e6ad7ddd8de7e70a45a9c3"
sha256 cellar: :any_skip_relocation, arm64_ventura: "49892e4e8130ee02dc448075565b4453a5bb69c3b5e6ad7ddd8de7e70a45a9c3"
sha256 cellar: :any_skip_relocation, arm64_monterey: "df8c488b1f608b29a5be322eec082f44619b082d9428443667b600529de248a1"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "77c6978e39d632f052c218ebf81c3de20d52966f140416521dd357200f9781a6"
sha256 cellar: :any_skip_relocation, ventura: "377544fff1d8b885a84b4719bda9dadfc7c929337834596a3e9e884466130784"
sha256 cellar: :any_skip_relocation, monterey: "bf60ef97042a599c92211d1cb3c8693dd4ed5dd01b5122f863efdf8f9b197152"
sha256 cellar: :any_skip_relocation, big_sur: "4bfd50e96aba5c1ca82b31bf4b0531816d628effbd7ca039b1192021a6dc682c"
sha256 cellar: :any_skip_relocation, x86_64_linux: "22fc1bcffb291bc419b1111be7ecac8548b81fd0e21e9a4b656b9a8641ab803a"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "77c6978e39d632f052c218ebf81c3de20d52966f140416521dd357200f9781a6"
sha256 cellar: :any_skip_relocation, ventura: "377544fff1d8b885a84b4719bda9dadfc7c929337834596a3e9e884466130784"
sha256 cellar: :any_skip_relocation, monterey: "bf60ef97042a599c92211d1cb3c8693dd4ed5dd01b5122f863efdf8f9b197152"
sha256 cellar: :any_skip_relocation, big_sur: "4bfd50e96aba5c1ca82b31bf4b0531816d628effbd7ca039b1192021a6dc682c"
sha256 cellar: :any_skip_relocation, x86_64_linux: "22fc1bcffb291bc419b1111be7ecac8548b81fd0e21e9a4b656b9a8641ab803a"
end

depends_on "cmake" => :build
Expand Down
14 changes: 7 additions & 7 deletions Formula/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,15 +8,15 @@ class CbmcAT5820 < Formula

bottle do
root_url "https://github.com/diffblue/homebrew-cbmc/releases/download/bag-of-goodies"
sha256 cellar: :any_skip_relocation, arm64_ventura: "7b977590dc8c68a4f5ab4e59378888bde611f85fb00bc1a2c537ff226267feb0"
sha256 cellar: :any_skip_relocation, arm64_ventura: "7b977590dc8c68a4f5ab4e59378888bde611f85fb00bc1a2c537ff226267feb0"
sha256 cellar: :any_skip_relocation, arm64_monterey: "9a8028b9d1b55cbb775c4fb885f8dfa6cf79ca323ac3e689bc997b06790e971a"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "79565e868b60b38f0b32fe3ed877aca1d181177ab73576959ba98c9960933e4e"
sha256 cellar: :any_skip_relocation, ventura: "10dcbb813af5e8faa8c0355fe162a40d07e592a9b6609f60fe15f1abd0acf93b"
sha256 cellar: :any_skip_relocation, monterey: "9ed466077d58280b2d839af41e2ecca05645ca6a74dab770255fe0f1214a6703"
sha256 cellar: :any_skip_relocation, big_sur: "33b242790210c71f73232c8ca815b6f7428e1c53821df402a21198c3085b8f25"
sha256 cellar: :any_skip_relocation, x86_64_linux: "7176288210132cc3e627ea299b85c6b0d62c6c6eb44a16dd64e0ec857acd134c"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "79565e868b60b38f0b32fe3ed877aca1d181177ab73576959ba98c9960933e4e"
sha256 cellar: :any_skip_relocation, ventura: "10dcbb813af5e8faa8c0355fe162a40d07e592a9b6609f60fe15f1abd0acf93b"
sha256 cellar: :any_skip_relocation, monterey: "9ed466077d58280b2d839af41e2ecca05645ca6a74dab770255fe0f1214a6703"
sha256 cellar: :any_skip_relocation, big_sur: "33b242790210c71f73232c8ca815b6f7428e1c53821df402a21198c3085b8f25"
sha256 cellar: :any_skip_relocation, x86_64_linux: "7176288210132cc3e627ea299b85c6b0d62c6c6eb44a16dd64e0ec857acd134c"
end

depends_on "cmake" => :build
depends_on "maven" => :build
depends_on "openjdk" => :build
Expand Down
Loading

0 comments on commit 0b3bc42

Please sign in to comment.