From 1263112cfab810ba3dd896db17fb79fb017ade9a Mon Sep 17 00:00:00 2001
From: affeldt-aist <33154536+affeldt-aist@users.noreply.github.com>
Date: Fri, 22 Dec 2023 22:25:52 +0900
Subject: [PATCH] more opam keywords (MCA-dev meeting of 2023-12-21) (#1125)

* more opam keywords (MCA-dev meeting of 2023-12-21)
---
 coq-mathcomp-analysis.opam | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/coq-mathcomp-analysis.opam b/coq-mathcomp-analysis.opam
index f2228ea78..cdba4bd54 100644
--- a/coq-mathcomp-analysis.opam
+++ b/coq-mathcomp-analysis.opam
@@ -27,13 +27,26 @@ depends: [
 tags: [
   "category:Mathematics/Real Calculus and Topology"
   "keyword:analysis"
+  "keyword:extended real numbers"
+  "keyword:filter"
+  "keyword:Cantor"
   "keyword:topology"
   "keyword:real numbers"
+  "keyword:sequence"
+  "keyword:convexity"
+  "keyword:Landau notation"
+  "keyword:logarithm"
+  "keyword:sin"
+  "keyword:cos"
+  "keyword:tangent"
+  "keyword:trigonometric function"
+  "keyword:exponential"
   "keyword:differentiation"
   "keyword:derivative"
   "keyword:measure theory"
   "keyword:integration"
   "keyword:Lebesgue"
+  "keyword:probability"
   "logpath:mathcomp.analysis"
 ]
 authors: [