From 42da1892c314e8faa545ce4657ec8633501eccd7 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Thu, 19 Oct 2017 22:17:14 +0200
Subject: fixed homepage

---
 mathcomp/field/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp/field')

diff --git a/mathcomp/field/opam b/mathcomp/field/opam
index 912eded..cd09358 100644
--- a/mathcomp/field/opam
+++ b/mathcomp/field/opam
@@ -3,7 +3,7 @@ name: "coq-mathcomp-field"
 version: "dev"
 maintainer: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
 
-homepage: "http://ssr.msr-inria.inria.fr/"
+homepage: "http://math-comp.github.io/math-comp/"
 bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
 license: "CeCILL-B"
 
-- 
cgit v1.2.3