diff options
| author | Lars Rasmusson | 2013-06-28 21:36:39 +0200 |
|---|---|---|
| committer | Adam Vandenberg | 2013-06-29 08:47:08 -0700 |
| commit | ce769d9d486fa0c7042b0db5ae4a3e2d2f67ff2f (patch) | |
| tree | 97b7095f1fe4d41bd08e26142c04698d5a972ebf /Library/Formula | |
| parent | 65840867ce272a0d4aad495766d9e76acf9db24d (diff) | |
| download | homebrew-ce769d9d486fa0c7042b0db5ae4a3e2d2f67ff2f.tar.bz2 | |
ssreflect: updated URL
Closes #20892.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library/Formula')
| -rw-r--r-- | Library/Formula/ssreflect.rb | 2 |
1 files changed, 1 insertions, 1 deletions
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' |