aboutsummaryrefslogtreecommitdiff
path: root/mathcomp
diff options
context:
space:
mode:
authorCyril Cohen2015-07-22 13:20:36 +0200
committerCyril Cohen2015-07-22 13:20:36 +0200
commit32e4af573f80d4387aa26d12a7f80f6660d9b50d (patch)
tree6dfd36158ea50d384b4cc05bef10ed543c0723f6 /mathcomp
parentadc15deaa15483dd1fa7c9e1447c068a7a5c1dc5 (diff)
remove duplicate fields
Diffstat (limited to 'mathcomp')
-rw-r--r--mathcomp/algebra/opam2
-rw-r--r--mathcomp/basic/opam2
-rw-r--r--mathcomp/character/opam2
-rw-r--r--mathcomp/field/opam2
-rw-r--r--mathcomp/fingroup/opam2
-rw-r--r--mathcomp/odd_order/opam2
-rw-r--r--mathcomp/real_closed/opam2
-rw-r--r--mathcomp/solvable/opam2
-rw-r--r--mathcomp/ssreflect/opam2
9 files changed, 9 insertions, 9 deletions
diff --git a/mathcomp/algebra/opam b/mathcomp/algebra/opam
index c784abe..6a13d3e 100644
--- a/mathcomp/algebra/opam
+++ b/mathcomp/algebra/opam
@@ -2,7 +2,7 @@ opam-version: "1.2"
name: "coq:mathcomp:algebra"
version: "dev"
maintainer: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
-authors: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
+
homepage: "http://ssr.msr-inria.inria.fr/"
bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
license: "CeCILL-B"
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 <mathcomp-dev@sympa.inria.fr>"
-authors: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
+
homepage: "http://ssr.msr-inria.inria.fr/"
bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
license: "CeCILL-B"
diff --git a/mathcomp/character/opam b/mathcomp/character/opam
index 98209fe..f39c262 100644
--- a/mathcomp/character/opam
+++ b/mathcomp/character/opam
@@ -2,7 +2,7 @@ opam-version: "1.2"
name: "coq:mathcomp:character"
version: "dev"
maintainer: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
-authors: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
+
homepage: "http://ssr.msr-inria.inria.fr/"
bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
license: "CeCILL-B"
diff --git a/mathcomp/field/opam b/mathcomp/field/opam
index 4430680..b95e5e0 100644
--- a/mathcomp/field/opam
+++ b/mathcomp/field/opam
@@ -2,7 +2,7 @@ opam-version: "1.2"
name: "coq:mathcomp:field"
version: "dev"
maintainer: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
-authors: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
+
homepage: "http://ssr.msr-inria.inria.fr/"
bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
license: "CeCILL-B"
diff --git a/mathcomp/fingroup/opam b/mathcomp/fingroup/opam
index ea2f788..07ab8e4 100644
--- a/mathcomp/fingroup/opam
+++ b/mathcomp/fingroup/opam
@@ -2,7 +2,7 @@ opam-version: "1.2"
name: "coq:mathcomp:fingroup"
version: "dev"
maintainer: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
-authors: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
+
homepage: "http://ssr.msr-inria.inria.fr/"
bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
license: "CeCILL-B"
diff --git a/mathcomp/odd_order/opam b/mathcomp/odd_order/opam
index 73769d8..7bfa088 100644
--- a/mathcomp/odd_order/opam
+++ b/mathcomp/odd_order/opam
@@ -2,7 +2,7 @@ opam-version: "1.2"
name: "coq:mathcomp:odd_order"
version: "dev"
maintainer: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
-authors: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
+
homepage: "http://ssr.msr-inria.inria.fr/"
bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
license: "CeCILL-B"
diff --git a/mathcomp/real_closed/opam b/mathcomp/real_closed/opam
index 785e6f4..97a31f6 100644
--- a/mathcomp/real_closed/opam
+++ b/mathcomp/real_closed/opam
@@ -2,7 +2,7 @@ opam-version: "1.2"
name: "coq:mathcomp:real_closed"
version: "dev"
maintainer: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
-authors: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
+
homepage: "http://ssr.msr-inria.inria.fr/"
bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
license: "CeCILL-B"
diff --git a/mathcomp/solvable/opam b/mathcomp/solvable/opam
index 23a6ffe..286b230 100644
--- a/mathcomp/solvable/opam
+++ b/mathcomp/solvable/opam
@@ -2,7 +2,7 @@ opam-version: "1.2"
name: "coq:mathcomp:solvable"
version: "dev"
maintainer: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
-authors: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
+
homepage: "http://ssr.msr-inria.inria.fr/"
bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
license: "CeCILL-B"
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 <mathcomp-dev@sympa.inria.fr>"
-authors: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
+
homepage: "http://ssr.msr-inria.inria.fr/"
bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
license: "CeCILL-B"