From b63e0637fe9723fd5bf360c2e46bc951d5ebe034 Mon Sep 17 00:00:00 2001
From: bellbind
Date: Thu, 23 Aug 2012 04:24:45 +0900
Subject: coq 8.4

Closes #14389.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
---
 Library/Formula/coq.rb | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'Library/Formula')

diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb
index 571b0fa9e..393dd89a0 100644
--- a/Library/Formula/coq.rb
+++ b/Library/Formula/coq.rb
@@ -19,9 +19,8 @@ end
 
 class Coq < Formula
   homepage 'http://coq.inria.fr/'
-  url 'http://coq.inria.fr/distrib/V8.3pl4/files/coq-8.3pl4.tar.gz'
-  version '8.3pl4'
-  md5 '88e2ce021b09eca207e3119d5202a695'
+  url 'http://coq.inria.fr/distrib/V8.4/files/coq-8.4.tar.gz'
+  sha1 '2987aa418dd96a0df7284afe296293cb28814ef5'
   head 'svn://scm.gforge.inria.fr/svn/coq/trunk'
 
   skip_clean :all
@@ -38,7 +37,7 @@ class Coq < Formula
                           "-camlp5dir", camlp5_lib,
                           "-emacslib", "#{lib}/emacs/site-lisp",
                           "-coqdocdir", "#{share}/coq/latex",
-                          "-coqide", "none",
+                          "-coqide", "no",
                           "-with-doc", "no",
                           "-arch", arch
     ENV.j1 # Otherwise "mkdir bin" can be attempted by more than one job
-- 
cgit v1.2.3