agda: update 2.7.0.1 bottle.

Author: BrewTestBot

Formula/a/agda.rb

@@ -58,13 +58,12 @@ class Agda < Formula
   end
 
   bottle do
-    rebuild 2
-    sha256 arm64_sequoia: "4b97635a593e1b6c9cc86442bebf1965ab8044978d4a9b2beef8f72d19644f0e"
-    sha256 arm64_sonoma:  "3a7273b7e8f396137877528655f277589aa099436b4b89d3c0d9b7410325c407"
-    sha256 arm64_ventura: "374ba6e21398191f1777853e880ef1a4cd972052c9f7f9d06bc95a6e22f6d1bc"
-    sha256 sonoma:        "1b5f5bc0d740c168e40cff9c407a34eedee29954dc9be47f4b400597498b73ee"
-    sha256 ventura:       "af45d9a99fecc0242a489e0e56d2567204ce626916c045bca10d62b34de1452a"
-    sha256 x86_64_linux:  "282d393806f0f432e5443baab37c57a231e14d0922d99d54b8cc40e5a04ce589"
+    sha256 arm64_sequoia: "26f559c86caad9341ce407bbd0bc27451c346b814167a87df05e62740539fcfb"
+    sha256 arm64_sonoma:  "a384bc06a0e0d478fa3313984627acbf93e6b01ea1856828aa3ee29b9c5bb649"
+    sha256 arm64_ventura: "63f087212f64b6c2a7aeac2c71c57d73bc21de6e10dca4026137e8f6b2530bf6"
+    sha256 sonoma:        "b88e608820b221fc925da7673af0b203f7c7c5b2a4ef5828dc1cf842142273f5"
+    sha256 ventura:       "d918822220ae771dd172a852969304550df86e1ddd3a698b722b1b53cc786918"
+    sha256 x86_64_linux:  "22fe1ee4a776725bf50597804430a5429d706963578acf7461fe1fb1c0cb5dfa"
   end
 
   head do