diff options
| author | Dominyk Tiller | 2014-10-31 23:39:27 +0000 |
|---|---|---|
| committer | Brett Koonce | 2014-11-01 21:08:58 -0700 |
| commit | 6883882b91977b4b64ee9d9a8577e7054fa5e0cc (patch) | |
| tree | 3d46ec936db7a9a72c578b13ebd06ab8eb3633dd /Library/Formula | |
| parent | f3209e0df47cac936e274c169d25196474ca58cb (diff) | |
| download | homebrew-6883882b91977b4b64ee9d9a8577e7054fa5e0cc.tar.bz2 | |
coq 8.4pl5
Version bump.
Closes #33653.
Signed-off-by: Brett Koonce <koonce@gmail.com>
Diffstat (limited to 'Library/Formula')
| -rw-r--r-- | Library/Formula/coq.rb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index 7bd6cac90..a95045979 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -13,10 +13,10 @@ class TransitionalMode < Requirement end class Coq < Formula - homepage "http://coq.inria.fr/" - url "http://coq.inria.fr/distrib/V8.4pl4/files/coq-8.4pl4.tar.gz" - version "8.4pl4" - sha1 "4dfc3a1ae65f5c480ddc4387d21549a526183e00" + homepage "https://coq.inria.fr/" + url "https://coq.inria.fr/distrib/V8.4pl5/files/coq-8.4pl5.tar.gz" + version "8.4pl5" + sha1 "107717cbaef3a469e8ff775ae54dbbc457935816" head "git://scm.gforge.inria.fr/coq/coq.git" |