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

coq 8.5pl3

Browse source 
Closes #6390.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
This commit is contained in:
ilovezfs 2016-10-29 04:58:29 -07:00
parent e6733c7465
commit 7d9126f663
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Formula/coq.rb
View file

@ -13,9 +13,9 @@ end
class Coq < Formula class Coq < Formula
desc "Proof assistant for higher-order logic" desc "Proof assistant for higher-order logic"
homepage "https://coq.inria.fr/" homepage "https://coq.inria.fr/"
url "https://coq.inria.fr/distrib/8.5pl2/files/coq-8.5pl2.tar.gz" url "https://coq.inria.fr/distrib/8.5pl3/files/coq-8.5pl3.tar.gz"
version "8.5pl2" version "8.5pl3"
sha256 "83239d1251bf6c54a9ca5045d738e469019b93ca601756bf982aab0654e4de73" sha256 "305b92e05d406d4d0c64f43d4fadb6b89419120a1d4ae4115ed1c5eb8812d33b"
head "git://scm.gforge.inria.fr/coq/coq.git", :branch => "trunk" head "git://scm.gforge.inria.fr/coq/coq.git", :branch => "trunk"
bottle do bottle do