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

coq: fix URL

Browse source
This commit is contained in:
Jack Nagel 2013-04-07 14:18:35 -05:00
parent 97ad90e4e5
commit 5d7443eff5
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Formula/coq.rb
View file

@ -18,7 +18,7 @@ end
class Coq < Formula
homepage 'http://coq.inria.fr/'
url 'http://coq.inria.fr/distrib/V8.4pl1/files/coq-8.4pl2.tar.gz'
url 'http://coq.inria.fr/distrib/V8.4pl2/files/coq-8.4pl2.tar.gz'
version '8.4pl2'
sha1 'adcef430b8e27663e8ea075e646112f7d4d51fa6'