From 5379c32f279e3cea9636a8c1dafe3283c67dd277 Mon Sep 17 00:00:00 2001 From: BrewTestBot Date: Tue, 17 Mar 2020 05:04:23 +0000 Subject: [PATCH] agda: update 2.6.1 bottle. --- Formula/agda.rb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Formula/agda.rb b/Formula/agda.rb index 49925145968..9da3b282d61 100644 --- a/Formula/agda.rb +++ b/Formula/agda.rb @@ -18,9 +18,9 @@ class Agda < Formula end bottle do - sha256 "d170a03ce454472dccfd2102e9370657a871bbaa05fa97f2b215397f672a9818" => :catalina - sha256 "16697093b5fdc887147f2b3d778ada4b3b5b7476a3c81e2cb564823e63a45fe9" => :mojave - sha256 "ef91aee38d08b5710dc46c590b91f4e4cac6e121c922c219ca3577b56916afed" => :high_sierra + sha256 "0781eb7d7503b64f1d4646b0fe8f7c5ae41dbda83e3397994eb690e2c0e5a4a1" => :catalina + sha256 "2fbca2d6e6f6569b39befb0fbaea02ea09681014563e5c39fb04e8911f3fda0c" => :mojave + sha256 "f1312e5307c3f022e7244bc7780bebbd8422f4e1d61a50618f4406485648b292" => :high_sierra end head do