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

coq 8.7.2

Browse source
This commit is contained in:
ilovezfs 2018-02-17 02:34:37 -08:00
parent 13c33f4d45
commit 1b6276dfec
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Formula/coq.rb
View file

@ -13,8 +13,8 @@ end
class Coq < Formula
desc "Proof assistant for higher-order logic"
homepage "https://coq.inria.fr/"
url "https://github.com/coq/coq/archive/V8.7.1.tar.gz"
sha256 "d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"
url "https://github.com/coq/coq/archive/V8.7.2.tar.gz"
sha256 "ef25c3979f69b891d40a8776b96059229b06de3d037923de9c657faf8ede78d2"
head "https://github.com/coq/coq.git"
bottle do