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

coq: update 8.7.0 bottle.

Browse source
This commit is contained in:
BrewTestBot 2017-10-18 10:05:39 +00:00 committed by ilovezfs
parent 1580e2eade
commit 11443c887c
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
Formula/coq.rb
View file

@ -18,10 +18,9 @@ class Coq < Formula
head "https://github.com/coq/coq.git"
bottle do
sha256 "0b8d2c22b383dab49d00916b1a23f8e5172c94989f7e481d8d85b649f0a2c31b" => :high_sierra
sha256 "275c1d6a33704757eb283ec5d2562193387f093e7dbe7c2cb4a4e96264d3aedf" => :sierra
sha256 "7c8e6073149ee473fbeb7801975e6b57e1297ef113292504ac120556fdec1dc6" => :el_capitan
sha256 "d6b4b69e7c3ae0f5b6aed761dd552ad35c9f7b7eac8646909e483b8940268f74" => :yosemite
sha256 "9fb0fc75bd4e70ded62131e90ab69f864eea83f8e36af4c796bdd9fab9b6a188" => :high_sierra
sha256 "b338308d66bb15c1869d4d2fd2866c60c123aa0d64468e8ddc8f6877a9bcf016" => :sierra
sha256 "1436182a25030ea3e118f696a3df0606957734bb000d782fef8ab021b8c0b687" => :el_capitan
end
depends_on "opam" => :build