ssreflect: update homepage (#10313)

Homebrew · Feb 24, 2017 · acfecf4 · acfecf4
1 parent 12eccfa
commit acfecf4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Formula/ssreflect.rb b/Formula/ssreflect.rb
@@ -12,7 +12,7 @@ def message; <<-EOS.undent
 
 class Ssreflect < Formula
   desc "Virtual package provided by libssreflect-coq"
-  homepage "https://www.msr-inria.fr/projects/mathematical-components-2/"
+  homepage "https://math-comp.github.io/math-comp/"
   url "http://ssr.msr-inria.inria.fr/FTP/ssreflect-1.5.tar.gz"
   sha256 "bad978693d1bfd0a89586a34678bcc244e3b7efba6431e0f83d8e1ae8f82a142"
   revision 2