Update opam keywords

Following coq/opam#2731
math-comp · Nov 8, 2024 · 6a37d42 · 6a37d42
1 parent 96f4793
commit 6a37d42
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/coq-mathcomp-classical.opam b/coq-mathcomp-classical.opam
@@ -24,8 +24,8 @@ depends: [
 ]
 
 tags: [
-  "category:Mathematics/Classical Logic"
-  "keyword:classical"
+  "category:Mathematics/Logic/Classical logic"
+  "keyword:classical logic"
   "keyword:logic"
   "keyword:sets"
   "keyword:set theory"