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/basic/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'mathcomp/basic') diff --git a/mathcomp/basic/opam b/mathcomp/basic/opam index c212286..b7fcf08 100644 --- a/mathcomp/basic/opam +++ b/mathcomp/basic/opam @@ -2,7 +2,7 @@ opam-version: "1.2" name: "coq:mathcomp:basic" 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