From 8d2cfb2208fda186c217289fe93d43b35e6bd6ea Mon Sep 17 00:00:00 2001 From: Michael Dippery Date: Fri, 5 Nov 2010 16:58:58 -0400 Subject: coq: Upgrade to v8.3 I also added the HEAD version. Signed-off-by: Adam Vandenberg --- Library/Formula/coq.rb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Library/Formula') diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index 6fece4878..c2cbced51 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -1,10 +1,10 @@ require 'formula' class Coq < Formula - url 'http://coq.inria.fr/distrib/V8.2pl2/files/coq-8.2pl2.tar.gz' + url 'http://coq.inria.fr/distrib/V8.3/files/coq-8.3.tar.gz' + head 'svn://scm.gforge.inria.fr/svn/coq/trunk' homepage 'http://coq.inria.fr/' - md5 '0fa1bcce3ab83d95571d2094f5091e6b' - version '8.2' + md5 '14b80e6b7075adf1516ab931202be8df' depends_on 'objective-caml' depends_on 'camlp5' -- cgit v1.2.3