From 32e4af573f80d4387aa26d12a7f80f6660d9b50d Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Wed, 22 Jul 2015 13:20:36 +0200 Subject: remove duplicate fields --- mathcomp/ssreflect/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'mathcomp/ssreflect') diff --git a/mathcomp/ssreflect/opam b/mathcomp/ssreflect/opam index 92c1935..5a6d904 100644 --- a/mathcomp/ssreflect/opam +++ b/mathcomp/ssreflect/opam @@ -2,7 +2,7 @@ opam-version: "1.2" name: "coq:mathcomp:ssreflect" version: "dev" maintainer: "Mathematical Components " -authors: "Mathematical Components " + homepage: "http://ssr.msr-inria.inria.fr/" bug-reports: "Mathematical Components " license: "CeCILL-B" -- cgit v1.2.3