From ce769d9d486fa0c7042b0db5ae4a3e2d2f67ff2f Mon Sep 17 00:00:00 2001 From: Lars Rasmusson Date: Fri, 28 Jun 2013 21:36:39 +0200 Subject: ssreflect: updated URL Closes #20892. Signed-off-by: Adam Vandenberg --- Library/Formula/ssreflect.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Library') diff --git a/Library/Formula/ssreflect.rb b/Library/Formula/ssreflect.rb index 219eb2979..9b1b0fb39 100644 --- a/Library/Formula/ssreflect.rb +++ b/Library/Formula/ssreflect.rb @@ -2,7 +2,7 @@ require 'formula' class Ssreflect < Formula homepage 'http://www.msr-inria.inria.fr/Projects/math-components' - url 'http://www.msr-inria.inria.fr/Projects/math-components/ssreflect-1.4-coq8.4.tar.gz' + url 'http://ssr.msr-inria.inria.fr/FTP/ssreflect-1.4-coq8.4.tar.gz' version '1.4' sha1 'c9e678a362973b202a5d90d2abf6436fa1ab4dcf' -- cgit v1.2.3