This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository ssreflect.

commit db0084beb13f999b8cb38c010e71ee6a6862f6d0
Author: Stephane Glondu <st...@glondu.net>
Date:   Thu Dec 5 08:16:45 2013 +0100

    Update Homepage
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 290b561..8473230 100644
--- a/debian/control
+++ b/debian/control
@@ -12,7 +12,7 @@ Build-Depends:
  ocaml-nox (>= 4)
 Standards-Version: 3.9.4
 Section: math
-Homepage: http://www.msr-inria.inria.fr/Projects/math-components
+Homepage: http://www.msr-inria.fr/projects/mathematical-components/
 Vcs-Browser: 
http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/ssreflect.git
 Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/ssreflect.git
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.git

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to