diff --git a/Formula/agda.rb b/Formula/agda.rb
index ac5702377a..bba7a43d8b 100644
--- a/Formula/agda.rb
+++ b/Formula/agda.rb
@@ -15,9 +15,9 @@ class Agda < Formula
   end
 
   bottle do
-    sha256 "683799128a30c5f22c1122c9b12a68b5efb69c441960cdc6087a15fcd6ec592c" => :el_capitan
-    sha256 "67094656523089d9a579da7f0517e280be465668aae6aa258940cf071e235209" => :yosemite
-    sha256 "8093836ef7e557ebf258b0f21d4e636b3579d608baa3b4e9a03cdb33224dd1a5" => :mavericks
+    sha256 "91f67965e6a349b98b785aa189e80203321e8bd3e0b190fa4079ea5722c60813" => :el_capitan
+    sha256 "1fb3c63041d1b77395b44c7cd30c25a55dde4a8915103869209e5764358650d4" => :yosemite
+    sha256 "45030e84681d5460fe1c4458f5578b5757a2cc55fe2d09d034665acf10f16f5c" => :mavericks
   end
 
   head do