From 9a2f8afa805bcd023d92c80a0c4fd5ebb2f6b465 Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Fri, 22 Dec 2023 21:58:22 +0900
Subject: [PATCH] fix

---
 coq-mathcomp-analysis.opam  | 4 ++--
 coq-mathcomp-classical.opam | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/coq-mathcomp-analysis.opam b/coq-mathcomp-analysis.opam
index d0a66ac2b..cdba4bd54 100644
--- a/coq-mathcomp-analysis.opam
+++ b/coq-mathcomp-analysis.opam
@@ -27,11 +27,11 @@ depends: [
 tags: [
   "category:Mathematics/Real Calculus and Topology"
   "keyword:analysis"
-  "keyword:extended real number"
+  "keyword:extended real numbers"
   "keyword:filter"
   "keyword:Cantor"
   "keyword:topology"
-  "keyword:real number"
+  "keyword:real numbers"
   "keyword:sequence"
   "keyword:convexity"
   "keyword:Landau notation"
diff --git a/coq-mathcomp-classical.opam b/coq-mathcomp-classical.opam
index 828c66b68..463a8dfa5 100644
--- a/coq-mathcomp-classical.opam
+++ b/coq-mathcomp-classical.opam
@@ -30,7 +30,7 @@ tags: [
   "category:Mathematics/Classical Logic"
   "keyword:classical"
   "keyword:logic"
-  "keyword:set"
+  "keyword:sets"
   "keyword:set theory"
   "keyword:function"
   "keyword:cardinal"