wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

ssreflect: updated URL

Browse source 
Closes Homebrew/homebrew#20892.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
This commit is contained in:
Lars Rasmusson 2013-06-28 21:36:39 +02:00 committed by Adam Vandenberg
parent 2714ce567d
commit cc31bc3d91
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Formula/ssreflect.rb
View file

@ -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'