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

coq 8.7.0

Browse source 
Closes #19599.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
This commit is contained in:
ilovezfs 2017-10-18 02:50:57 -07:00
parent 2c78d7b662
commit 1580e2eade
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

@ -13,10 +13,9 @@ end
class Coq < Formula
desc "Proof assistant for higher-order logic"
homepage "https://coq.inria.fr/"
url "https://coq.inria.fr/distrib/8.6.1/files/coq-8.6.1.tar.gz"
sha256 "32f8aa92853483dec18030def9f0857a708fee56cf4287e39c9a260f08138f9d"
revision 1
head "git://scm.gforge.inria.fr/coq/coq.git"
url "https://github.com/coq/coq/archive/V8.7.0.tar.gz"
sha256 "f376207ed051b3fd27c519f44b25eb25f8dddbce22715f68c3cedfd2e4b39297"
head "https://github.com/coq/coq.git"
bottle do
sha256 "0b8d2c22b383dab49d00916b1a23f8e5172c94989f7e481d8d85b649f0a2c31b" => :high_sierra