From 6a37d42b368472416710ab7aec5d184b842af341 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 8 Nov 2024 13:45:12 +0100
Subject: [PATCH] Update opam keywords

Following https://github.com/coq/opam/pull/2731
---
 coq-mathcomp-classical.opam | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq-mathcomp-classical.opam b/coq-mathcomp-classical.opam
index 4de111457..10457aac8 100644
--- 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"