Skip to content

Commit ef7ae95

Browse files
committed
Homogenize categories.
1 parent acbc0de commit ef7ae95

File tree

53 files changed

+69
-72
lines changed
  • extra-dev/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.1.5.1
  • released/packages
    • coq-area-method/coq-area-method.8.5.0
    • coq-coinductive-reals
      • coq-coinductive-reals.8.10.0
      • coq-coinductive-reals.8.5.0
      • coq-coinductive-reals.8.6.0
      • coq-coinductive-reals.8.7.0
      • coq-coinductive-reals.8.8.0
      • coq-coinductive-reals.8.9.0
    • coq-exact-real-arithmetic
      • coq-exact-real-arithmetic.8.10.0
      • coq-exact-real-arithmetic.8.5.0
      • coq-exact-real-arithmetic.8.6.0
      • coq-exact-real-arithmetic.8.7.0
      • coq-exact-real-arithmetic.8.8.0
      • coq-exact-real-arithmetic.8.9.0
    • coq-hol-light-real-with-N
      • coq-hol-light-real-with-N.1.0.0
      • coq-hol-light-real-with-N.1.1.0
      • coq-hol-light-real-with-N.1.2.0
    • coq-hol-light
      • coq-hol-light.0.0.0
      • coq-hol-light.1.0.0
      • coq-hol-light.2.0.0
      • coq-hol-light.3.0.0
    • coq-kruskal-trees/coq-kruskal-trees.1.1
    • coq-libvalidsdp
      • coq-libvalidsdp.1.0.0
      • coq-libvalidsdp.1.0.1
      • coq-libvalidsdp.1.0.2
      • coq-libvalidsdp.1.0.3
      • coq-libvalidsdp.1.0.4
    • coq-mathcomp-classical
      • coq-mathcomp-classical.0.6.5
      • coq-mathcomp-classical.0.6.6
      • coq-mathcomp-classical.0.6.7
      • coq-mathcomp-classical.0.7.0
      • coq-mathcomp-classical.1.0.0
      • coq-mathcomp-classical.1.1.0
      • coq-mathcomp-classical.1.2.0
      • coq-mathcomp-classical.1.3.0
      • coq-mathcomp-classical.1.3.1
      • coq-mathcomp-classical.1.4.0
      • coq-mathcomp-classical.1.5.0
      • coq-mathcomp-classical.1.6.0
    • coq-mathcomp-multinomials
      • coq-mathcomp-multinomials.1.0
      • coq-mathcomp-multinomials.1.1
      • coq-mathcomp-multinomials.1.2
      • coq-mathcomp-multinomials.1.4
      • coq-mathcomp-multinomials.1.5.2
      • coq-mathcomp-multinomials.1.5.3
      • coq-mathcomp-multinomials.1.5.4
      • coq-mathcomp-multinomials.1.5.5
      • coq-mathcomp-multinomials.1.5.6
      • coq-mathcomp-multinomials.1.5
      • coq-mathcomp-multinomials.1.6.0
    • coq-validsdp
      • coq-validsdp.1.0.3
      • coq-validsdp.1.0.4
    • coq-waterproof/coq-waterproof.1.0.0

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

53 files changed

+69
-72
lines changed

extra-dev/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.1.5.1/opam

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -23,8 +23,8 @@ depends: [
2323
tags: [
2424
"keyword:multinomials"
2525
"keyword:monoid algebra"
26-
"category:Math/Algebra/Multinomials"
27-
"category:Math/Algebra/Monoid algebra"
26+
"category:Mathematics/Algebra/Multinomials"
27+
"category:Mathematics/Algebra/Monoid algebra"
2828
"date:2020-01-20"
2929
"logpath:SsrMultinomials"
3030
]

released/packages/coq-area-method/coq-area-method.8.5.0/opam

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,13 @@ depends: [
99
"ocaml"
1010
"coq" {>= "8.5" & < "8.6~"}
1111
]
12-
tags: [ "keyword:geometry" "keyword:chou gao zhang area method" "keyword:decision procedure" "category:Mathematics/Geometry/AutomatedDeduction" "date:2004-2010" ]
12+
tags: [
13+
"keyword:geometry"
14+
"keyword:chou gao zhang area method"
15+
"keyword:decision procedure"
16+
"category:Mathematics/Geometry"
17+
"date:2004-2010"
18+
]
1319
authors: [ "Julien Narboux <>" ]
1420
bug-reports: "https://github.com/coq-contribs/area-method/issues"
1521
dev-repo: "git+https://github.com/coq-contribs/area-method.git"

released/packages/coq-coinductive-reals/coq-coinductive-reals.8.10.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ tags: [
1515
"keyword: co-inductive types"
1616
"keyword: co-recursion"
1717
"keyword: exact arithmetic"
18-
"category: Mathematics/Arithmetic and Number Theory/Real numbers"
18+
"category: Mathematics/Real Numbers"
1919
"date: 2007-04-24"
2020
]
2121
authors: [

released/packages/coq-coinductive-reals/coq-coinductive-reals.8.5.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ tags: [
1515
"keyword:co-inductive types"
1616
"keyword:co-recursion"
1717
"keyword:exact arithmetic"
18-
"category:Mathematics/Arithmetic and Number Theory/Real numbers"
18+
"category:Mathematics/Real Numbers"
1919
"date:2007-04-24"
2020
]
2121
authors: [ "Milad Niqui <[email protected]>" ]

released/packages/coq-coinductive-reals/coq-coinductive-reals.8.6.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ depends: [
1010
"coq" {>= "8.6" & < "8.7~"}
1111
"coq-qarith-stern-brocot" {>= "8.6" & < "8.7~"}
1212
]
13-
tags: [ "keyword: real numbers" "keyword: co-inductive types" "keyword: co-recursion" "keyword: exact arithmetic" "category: Mathematics/Arithmetic and Number Theory/Real numbers" "date: 2007-04-24" ]
13+
tags: [ "keyword: real numbers" "keyword: co-inductive types" "keyword: co-recursion" "keyword: exact arithmetic" "category: Mathematics/Real Numbers" "date: 2007-04-24" ]
1414
authors: [ "Milad Niqui <[email protected]> [http://www.cs.ru.nl/~milad]" ]
1515
bug-reports: "https://github.com/coq-contribs/coinductive-reals/issues"
1616
dev-repo: "git+https://github.com/coq-contribs/coinductive-reals.git"

released/packages/coq-coinductive-reals/coq-coinductive-reals.8.7.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ depends: [
1010
"coq" {>= "8.7" & < "8.8~"}
1111
"coq-qarith-stern-brocot" {>= "8.7" & < "8.8~"}
1212
]
13-
tags: [ "keyword: real numbers" "keyword: co-inductive types" "keyword: co-recursion" "keyword: exact arithmetic" "category: Mathematics/Arithmetic and Number Theory/Real numbers" "date: 2007-04-24" ]
13+
tags: [ "keyword: real numbers" "keyword: co-inductive types" "keyword: co-recursion" "keyword: exact arithmetic" "category: Mathematics/Real Numbers" "date: 2007-04-24" ]
1414
authors: [ "Milad Niqui <[email protected]> [http://www.cs.ru.nl/~milad]" ]
1515
bug-reports: "https://github.com/coq-contribs/coinductive-reals/issues"
1616
dev-repo: "git+https://github.com/coq-contribs/coinductive-reals.git"

released/packages/coq-coinductive-reals/coq-coinductive-reals.8.8.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ depends: [
1010
"coq" {>= "8.8" & < "8.9~"}
1111
"coq-qarith-stern-brocot" {>= "8.8" & < "8.9~"}
1212
]
13-
tags: [ "keyword: real numbers" "keyword: co-inductive types" "keyword: co-recursion" "keyword: exact arithmetic" "category: Mathematics/Arithmetic and Number Theory/Real numbers" "date: 2007-04-24" ]
13+
tags: [ "keyword: real numbers" "keyword: co-inductive types" "keyword: co-recursion" "keyword: exact arithmetic" "category: Mathematics/Real Numbers" "date: 2007-04-24" ]
1414
authors: [ "Milad Niqui <[email protected]> [http://www.cs.ru.nl/~milad]" ]
1515
bug-reports: "https://github.com/coq-contribs/coinductive-reals/issues"
1616
dev-repo: "git+https://github.com/coq-contribs/coinductive-reals.git"

released/packages/coq-coinductive-reals/coq-coinductive-reals.8.9.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ tags: [
1515
"keyword: co-inductive types"
1616
"keyword: co-recursion"
1717
"keyword: exact arithmetic"
18-
"category: Mathematics/Arithmetic and Number Theory/Real numbers"
18+
"category: Mathematics/Real Numbers"
1919
"date: 2007-04-24"
2020
]
2121
authors: [

released/packages/coq-exact-real-arithmetic/coq-exact-real-arithmetic.8.10.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ tags: [
1313
"keyword: correctness"
1414
"keyword: real numbers"
1515
"keyword: arithmetic"
16-
"category: Mathematics/Arithmetic and Number Theory/Real numbers"
16+
"category: Mathematics/Real Numbers"
1717
]
1818
authors: [
1919
"Jérôme Creci"

released/packages/coq-exact-real-arithmetic/coq-exact-real-arithmetic.8.5.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ depends: [
99
"ocaml"
1010
"coq" {>= "8.5" & < "8.6~"}
1111
]
12-
tags: [ "keyword:correctness" "keyword:real numbers" "keyword:arithmetic" "category:Mathematics/Arithmetic and Number Theory/Real numbers" ]
12+
tags: [ "keyword:correctness" "keyword:real numbers" "keyword:arithmetic" "category:Mathematics/Real Numbers" ]
1313
authors: [ "Jérôme Creci <>" ]
1414
bug-reports: "https://github.com/coq-contribs/exact-real-arithmetic/issues"
1515
dev-repo: "git+https://github.com/coq-contribs/exact-real-arithmetic.git"

0 commit comments

Comments
 (0)