From 1eb59c0e8bc4a54cf804de415750626d3d23c1b6 Mon Sep 17 00:00:00 2001
From: Jack Nagel
Date: Sun, 7 Apr 2013 14:18:35 -0500
Subject: coq: fix URL

---
 Library/Formula/coq.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb
index 7c92d627c..ff82c2b76 100644
--- a/Library/Formula/coq.rb
+++ b/Library/Formula/coq.rb
@@ -18,7 +18,7 @@ end
 
 class Coq < Formula
   homepage 'http://coq.inria.fr/'
-  url 'http://coq.inria.fr/distrib/V8.4pl1/files/coq-8.4pl2.tar.gz'
+  url 'http://coq.inria.fr/distrib/V8.4pl2/files/coq-8.4pl2.tar.gz'
   version '8.4pl2'
   sha1 'adcef430b8e27663e8ea075e646112f7d4d51fa6'
 
-- 
cgit v1.2.3