diff options
| -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" |