wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

agda: update 2.5.1.1 bottle.

Browse source
This commit is contained in:
BrewTestBot 2016-07-21 15:58:06 +01:00 committed by ilovezfs
parent 412cf2d0a6
commit b2fcf560fd
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
Formula/agda.rb
View file

@ -17,9 +17,10 @@ class Agda < Formula
end
bottle do
sha256 "8acc704bcf541cdf86f5f66667fceca18256309406154852710b1995edaf29fc" => :el_capitan
sha256 "cb96e1f74d7ae4621fd058ca8de67899f15bd638ef2c891064d84b3203e19097" => :yosemite
sha256 "f2d6c6377afcbc5ab2701b23c6cd6baa79c138a6563f31eb1803d5125414bbb3" => :mavericks
revision 1
sha256 "da0d064f704833f7594a2ece28d5aec82fdda17105d8059c955dd8e5f523270a" => :el_capitan
sha256 "4898eb5092dea5fb56a4c65cae2ff9eada1026f05901bb3056425b786dbb7d1e" => :yosemite
sha256 "c7a55550e0e9f4a440ceaa9a3348334a1eb792e3b9eb25e13d8dec643c06dab3" => :mavericks
end
head do