From 663721c0c431bb4b7a903082edd42c28407ffe91 Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Tue, 21 Jul 2015 17:09:59 +0200 Subject: update opam meta-data --- mathcomp/basic/opam | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) (limited to 'mathcomp/basic') diff --git a/mathcomp/basic/opam b/mathcomp/basic/opam index c72ed39..c212286 100644 --- a/mathcomp/basic/opam +++ b/mathcomp/basic/opam @@ -1,12 +1,16 @@ opam-version: "1.2" name: "coq:mathcomp:basic" -version: "1.5" -maintainer: "Ssreflect " -authors: "Ssreflect " +version: "dev" +maintainer: "Mathematical Components " +authors: "Mathematical Components " homepage: "http://ssr.msr-inria.inria.fr/" -bug-reports: "ssreflect@msr-inria.inria.fr" +bug-reports: "Mathematical Components " license: "CeCILL-B" -build: [ make "-j" "%{jobs}%" ] + +build: [ make "-j" "%{jobs}%" ] install: [ make "install" ] remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp/basic'" ] -depends: [ "coq:mathcomp:ssreflect" { = "1.5" } ] +depends: [ "coq:mathcomp:ssreflect" { = "dev" } ] + +tags: [ "keyword:small scale reflection" "keyword:mathematical components" "keyword:odd order theorem" ] +authors: [ "Jeremy Avigad <>" "Andrea Asperti <>" "Stephane Le Roux <>" "Yves Bertot <>" "Laurence Rideau <>" "Enrico Tassi <>" "Ioana Pasca <>" "Georges Gonthier <>" "Sidi Ould Biha <>" "Cyril Cohen <>" "Francois Garillot <>" "Alexey Solovyev <>" "Russell O'Connor <>" "Laurent Théry <>" "Assia Mahboubi <>" ] -- cgit v1.2.3