From bb5abbc63ffb02d06cb2dff195267dec77d5c7f6 Mon Sep 17 00:00:00 2001 From: Josh Tilles Date: Tue, 24 Dec 2013 14:54:54 -0500 Subject: coq 8.4pl3 Signed-off-by: Mike McQuaid --- Library/Formula/coq.rb | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index 962891630..4411b7194 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -16,11 +16,11 @@ end class Coq < Formula homepage 'http://coq.inria.fr/' - url 'http://coq.inria.fr/distrib/V8.4pl2/files/coq-8.4pl2.tar.gz' - version '8.4pl2' - sha1 'adcef430b8e27663e8ea075e646112f7d4d51fa6' + url 'http://coq.inria.fr/distrib/V8.4pl3/files/coq-8.4pl3.tar.gz' + version '8.4pl3' + sha1 'b7d7f49412b0b9827bc461a78b5340e69cc0d3f4' - head 'svn://scm.gforge.inria.fr/svn/coq/trunk' + head 'git://scm.gforge.inria.fr/coq/coq.git' depends_on TransitionalMode depends_on 'objective-caml' -- cgit v1.2.3