Merge pull request #2731 from silene/fix-keywords

Prevent duplication of some package categories and keywords.
coq · Sep 18, 2023 · 53bed2e · 53bed2e
2 parents d65afc7 + 66ed0d3
commit 53bed2e
Show file tree

Hide file tree

Showing 67 changed files with 83 additions and 212 deletions.
diff --git a/extra-dev/packages/coq-color/coq-color.8.7.dev/opam b/extra-dev/packages/coq-color/coq-color.8.7.dev/opam
diff --git a/extra-dev/packages/coq-color/coq-color.dev/opam b/extra-dev/packages/coq-color/coq-color.dev/opam
@@ -34,7 +34,7 @@ tags: [
 
   "logpath:CoLoR"
 
-  "category:Computer Science/Algorithms/Correctness proofs of algorithms"
+  "category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms"
   "category:Computer Science/Data Types and Data Structures"
   "category:Computer Science/Lambda Calculi"
   "category:Mathematics/Algebra"
@@ -89,7 +89,7 @@ tags: [
   "keyword:graph"
   "keyword:path"
   "keyword:transitive closure"
-  "keyword:strongly connected component"
+  "keyword:strongly connected components"
   "keyword:topological ordering"
 
   "keyword:rpo"

diff --git a/extra-dev/packages/coq-gaia-hydras/coq-gaia-hydras.dev/opam b/extra-dev/packages/coq-gaia-hydras/coq-gaia-hydras.dev/opam
@@ -23,7 +23,7 @@ depends: [
 
 tags: [
   "category:Mathematics/Logic/Foundations"
-  "keyword:ordinals"
+  "keyword:ordinal numbers"
   "logpath:gaia_hydras"
 ]
 authors: [

diff --git a/extra-dev/packages/coq-gaia-ordinals/coq-gaia-ordinals.dev/opam b/extra-dev/packages/coq-gaia-ordinals/coq-gaia-ordinals.dev/opam
@@ -28,7 +28,7 @@ tags: [
   "category:Mathematics/Arithmetic and Number Theory/Number theory"
   "keyword:ordered sets"
   "keyword:ordinal arithmetic"
-  "keyword:ordinals"
+  "keyword:ordinal numbers"
   "keyword:cardinal numbers"
   "logpath:gaia.ordinals"
 ]

diff --git a/extra-dev/packages/coq-gaia-schutte/coq-gaia-schutte.dev/opam b/extra-dev/packages/coq-gaia-schutte/coq-gaia-schutte.dev/opam
@@ -24,7 +24,7 @@ conflicts: [
 tags: [
   "category:Mathematics/Arithmetic and Number Theory/Number theory"
   "keyword:ordinal arithmetic"
-  "keyword:ordinals"
+  "keyword:ordinal numbers"
   "logpath:gaia.schutte"
 ]
 authors: [

diff --git a/extra-dev/packages/coq-gaia-stern/coq-gaia-stern.dev/opam b/extra-dev/packages/coq-gaia-stern/coq-gaia-stern.dev/opam
@@ -24,7 +24,7 @@ conflicts: [
 
 tags: [
   "category:Mathematics/Arithmetic and Number Theory/Number theory"
-  "keyword:stern-brocot"
+  "keyword:Stern-Brocot"
   "keyword:fibonacci numbers"
   "logpath:gaia.stern"
 ]

diff --git a/extra-dev/packages/coq-hydra-battles/coq-hydra-battles.dev/opam b/extra-dev/packages/coq-hydra-battles/coq-hydra-battles.dev/opam
@@ -26,7 +26,7 @@ tags: [
   "category:Mathematics/Combinatorics and Graph Theory"
   "category:Mathematics/Logic/Foundations"
   "keyword:Ketonen-Solovay machinery"
-  "keyword:ordinals"
+  "keyword:ordinal numbers"
   "keyword:primitive recursive functions"
   "logpath:hydras"
 ]

diff --git a/extra-dev/packages/coq-markov/coq-markov.dev/opam b/extra-dev/packages/coq-markov/coq-markov.dev/opam
@@ -15,7 +15,7 @@ depends: [
 tags: [
   "keyword:probability"
   "keyword:Markov"
-  "keyword:Lebesgue integral"
+  "keyword:Lebesgue integration"
   "keyword:sigma algebras"
   "keyword:measurability"
   "keyword:Borel"

diff --git a/extra-dev/packages/coq-mathcomp-classical/coq-mathcomp-classical.dev/opam b/extra-dev/packages/coq-mathcomp-classical/coq-mathcomp-classical.dev/opam
@@ -23,9 +23,8 @@ depends: [
 ]
 
 tags: [
-  "category:Mathematics/Classical Logic"
-  "keyword:classical"
-  "keyword:logic"
+  "category:Mathematics/Logic/Classical logic"
+  "keyword:classical logic"
   "keyword:sets"
   "logpath:mathcomp.classical"
 ]

diff --git a/released/packages/coq-belgames/coq-belgames.1.0.0/opam b/released/packages/coq-belgames/coq-belgames.1.0.0/opam
@@ -29,7 +29,7 @@ depends: [
 tags: [
   "keyword:games of incomplete information"
   "keyword:belief functions theory"
-  "category:Computer Science/Algorithms/Correctness proofs of algorithms"
+  "category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms"
   "logpath:BelGames"
   "date:2022-09-22"
 ]

diff --git a/released/packages/coq-belgames/coq-belgames.1.1.0/opam b/released/packages/coq-belgames/coq-belgames.1.1.0/opam
@@ -29,7 +29,7 @@ depends: [
 tags: [
   "keyword:games of incomplete information"
   "keyword:belief functions theory"
-  "category:Computer Science/Algorithms/Correctness proofs of algorithms"
+  "category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms"
   "logpath:BelGames"
   "date:2023-02-24"
 ]

diff --git a/released/packages/coq-belgames/coq-belgames.1.1.1/opam b/released/packages/coq-belgames/coq-belgames.1.1.1/opam
@@ -26,7 +26,7 @@ depends: [
 tags: [
   "keyword:games of incomplete information"
   "keyword:belief functions theory"
-  "category:Computer Science/Algorithms/Correctness proofs of algorithms"
+  "category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms"
   "logpath:BelGames"
   "date:2023-02-27"
 ]

diff --git a/released/packages/coq-color/coq-color.1.2.0/opam b/released/packages/coq-color/coq-color.1.2.0/opam
@@ -74,7 +74,7 @@ tags: [
   "keyword:graph"
   "keyword:path"
   "keyword:transitive closure"
-  "keyword:strongly connected component"
+  "keyword:strongly connected components"
   "keyword:topological ordering"
 
   "keyword:rpo"
@@ -92,7 +92,7 @@ tags: [
   "keyword:pigeon-hole principle"
   "keyword:Ramsey theorem"
 
-  "category:Computer Science/Algorithms/Correctness proofs of algorithms"
+  "category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms"
   "category:Computer Science/Data Types and Data Structures"
   "category:Computer Science/Lambda Calculi"
   "category:Mathematics/Algebra"

diff --git a/released/packages/coq-color/coq-color.1.3.0/opam b/released/packages/coq-color/coq-color.1.3.0/opam
@@ -32,7 +32,7 @@ tags: [
 
   "logpath:CoLoR"
 
-  "category:Computer Science/Algorithms/Correctness proofs of algorithms"
+  "category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms"
   "category:Computer Science/Data Types and Data Structures"
   "category:Computer Science/Lambda Calculi"
   "category:Mathematics/Algebra"
@@ -87,7 +87,7 @@ tags: [
   "keyword:graph"
   "keyword:path"
   "keyword:transitive closure"
-  "keyword:strongly connected component"
+  "keyword:strongly connected components"
   "keyword:topological ordering"
 
   "keyword:rpo"

diff --git a/released/packages/coq-color/coq-color.1.4.0/opam b/released/packages/coq-color/coq-color.1.4.0/opam
@@ -33,7 +33,7 @@ tags: [
 
   "logpath:CoLoR"
 
-  "category:Computer Science/Algorithms/Correctness proofs of algorithms"
+  "category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms"
   "category:Computer Science/Data Types and Data Structures"
   "category:Computer Science/Lambda Calculi"
   "category:Mathematics/Algebra"
@@ -88,7 +88,7 @@ tags: [
   "keyword:graph"
   "keyword:path"
   "keyword:transitive closure"
-  "keyword:strongly connected component"
+  "keyword:strongly connected components"
   "keyword:topological ordering"
 
   "keyword:rpo"

diff --git a/released/packages/coq-color/coq-color.1.5.0/opam b/released/packages/coq-color/coq-color.1.5.0/opam
@@ -32,7 +32,7 @@ tags: [
 
   "logpath:CoLoR"
 
-  "category:Computer Science/Algorithms/Correctness proofs of algorithms"
+  "category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms"
   "category:Computer Science/Data Types and Data Structures"
   "category:Computer Science/Lambda Calculi"
   "category:Mathematics/Algebra"
@@ -87,7 +87,7 @@ tags: [
   "keyword:graph"
   "keyword:path"
   "keyword:transitive closure"
-  "keyword:strongly connected component"
+  "keyword:strongly connected components"
   "keyword:topological ordering"
 
   "keyword:rpo"

diff --git a/released/packages/coq-color/coq-color.1.6.0/opam b/released/packages/coq-color/coq-color.1.6.0/opam
@@ -32,7 +32,7 @@ tags: [
 
   "logpath:CoLoR"
 
-  "category:Computer Science/Algorithms/Correctness proofs of algorithms"
+  "category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms"
   "category:Computer Science/Data Types and Data Structures"
   "category:Computer Science/Lambda Calculi"
   "category:Mathematics/Algebra"
@@ -87,7 +87,7 @@ tags: [
   "keyword:graph"
   "keyword:path"
   "keyword:transitive closure"
-  "keyword:strongly connected component"
+  "keyword:strongly connected components"
   "keyword:topological ordering"
 
   "keyword:rpo"

diff --git a/released/packages/coq-color/coq-color.1.7.0/opam b/released/packages/coq-color/coq-color.1.7.0/opam
@@ -32,7 +32,7 @@ tags: [
 
   "logpath:CoLoR"
 
-  "category:Computer Science/Algorithms/Correctness proofs of algorithms"
+  "category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms"
   "category:Computer Science/Data Types and Data Structures"
   "category:Computer Science/Lambda Calculi"
   "category:Mathematics/Algebra"
@@ -87,7 +87,7 @@ tags: [
   "keyword:graph"
   "keyword:path"
   "keyword:transitive closure"
-  "keyword:strongly connected component"
+  "keyword:strongly connected components"
   "keyword:topological ordering"
 
   "keyword:rpo"

diff --git a/released/packages/coq-color/coq-color.1.8.0/opam b/released/packages/coq-color/coq-color.1.8.0/opam
@@ -32,7 +32,7 @@ tags: [
 
   "logpath:CoLoR"
 
-  "category:Computer Science/Algorithms/Correctness proofs of algorithms"
+  "category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms"
   "category:Computer Science/Data Types and Data Structures"
   "category:Computer Science/Lambda Calculi"
   "category:Mathematics/Algebra"
@@ -87,7 +87,7 @@ tags: [
   "keyword:graph"
   "keyword:path"
   "keyword:transitive closure"
-  "keyword:strongly connected component"
+  "keyword:strongly connected components"
   "keyword:topological ordering"
 
   "keyword:rpo"

diff --git a/released/packages/coq-color/coq-color.1.8.1/opam b/released/packages/coq-color/coq-color.1.8.1/opam
@@ -32,7 +32,7 @@ tags: [
 
   "logpath:CoLoR"
 
-  "category:Computer Science/Algorithms/Correctness proofs of algorithms"
+  "category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms"
   "category:Computer Science/Data Types and Data Structures"
   "category:Computer Science/Lambda Calculi"
   "category:Mathematics/Algebra"
@@ -87,7 +87,7 @@ tags: [
   "keyword:graph"
   "keyword:path"
   "keyword:transitive closure"
-  "keyword:strongly connected component"
+  "keyword:strongly connected components"
   "keyword:topological ordering"
 
   "keyword:rpo"

diff --git a/released/packages/coq-color/coq-color.1.8.2/opam b/released/packages/coq-color/coq-color.1.8.2/opam
@@ -32,7 +32,7 @@ tags: [
 
   "logpath:CoLoR"
 
-  "category:Computer Science/Algorithms/Correctness proofs of algorithms"
+  "category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms"
   "category:Computer Science/Data Types and Data Structures"
   "category:Computer Science/Lambda Calculi"
   "category:Mathematics/Algebra"
@@ -87,7 +87,7 @@ tags: [
   "keyword:graph"
   "keyword:path"
   "keyword:transitive closure"
-  "keyword:strongly connected component"
+  "keyword:strongly connected components"
   "keyword:topological ordering"
 
   "keyword:rpo"