math-comp-school-2022

coq · Nov 14, 2022 · 745e050 · 745e050
1 parent cd771ba
commit 745e050
Show file tree

Hide file tree

Showing 6 changed files with 18 additions and 0 deletions.
diff --git a/...coq-archive/released/packages/coq-mathcomp-algebra/coq-mathcomp-algebra.2.0.0+alpha1/opam b/...coq-archive/released/packages/coq-mathcomp-algebra/coq-mathcomp-algebra.2.0.0+alpha1/opam
@@ -21,3 +21,6 @@ This library contains definitions and theorems about discrete
 ordered fields, real fields,  modules, algebras, integers, rational
 numbers, polynomials, matrices, vector spaces...
 """
+url {
+  src: "https://github.com/math-comp/math-comp/zipball/hierarchy-builder"
+}
diff --git a/...archive/released/packages/coq-mathcomp-character/coq-mathcomp-character.2.0.0+alpha1/opam b/...archive/released/packages/coq-mathcomp-character/coq-mathcomp-character.2.0.0+alpha1/opam
@@ -19,3 +19,6 @@ description:"""
 This library contains definitions and theorems about group
 representations, characters and class functions.
 """
+url {
+  src: "https://github.com/math-comp/math-comp/zipball/hierarchy-builder"
+}
diff --git a/...pam-coq-archive/released/packages/coq-mathcomp-field/coq-mathcomp-field.2.0.0+alpha1/opam b/...pam-coq-archive/released/packages/coq-mathcomp-field/coq-mathcomp-field.2.0.0+alpha1/opam
@@ -19,3 +19,6 @@ description:"""
 This library contains definitions and theorems about field extensions,
 galois theory, algebraic numbers, cyclotomic polynomials...
 """
+url {
+  src: "https://github.com/math-comp/math-comp/zipball/hierarchy-builder"
+}
diff --git a/...q-archive/released/packages/coq-mathcomp-fingroup/coq-mathcomp-fingroup.2.0.0+alpha1/opam b/...q-archive/released/packages/coq-mathcomp-fingroup/coq-mathcomp-fingroup.2.0.0+alpha1/opam
@@ -19,3 +19,6 @@ description: """
 This library contains definitions and theorems about finite groups,
 group quotients, group morphisms, group presentation, group action...
 """
+url {
+  src: "https://github.com/math-comp/math-comp/zipball/hierarchy-builder"
+}
diff --git a/...q-archive/released/packages/coq-mathcomp-solvable/coq-mathcomp-solvable.2.0.0+alpha1/opam b/...q-archive/released/packages/coq-mathcomp-solvable/coq-mathcomp-solvable.2.0.0+alpha1/opam
@@ -19,3 +19,6 @@ synopsis: "Mathematical Components Library on finite groups (II)"
 description:"""
 This library contains more definitions and theorems about finite groups.
 """
+url {
+  src: "https://github.com/math-comp/math-comp/zipball/hierarchy-builder"
+}
diff --git a/...archive/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.2.0.0+alpha1/opam b/...archive/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.2.0.0+alpha1/opam
@@ -26,3 +26,6 @@ predicates, natural numbers and types with decidable equality,
 finite types, finite sets, finite functions, finite graphs, basic arithmetics
 and prime numbers, big operators
 """
+url {
+  src: "https://github.com/math-comp/math-comp/zipball/hierarchy-builder"
+}