From f308e38e9eca89241d90c1607815b266d648f9ac Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sun, 11 Aug 2024 16:32:40 +0200
Subject: [PATCH] change category to Mathematics/Logic/Modal logic per
 https://github.com/coq/opam/pull/2731

---
 coq-comp-dec-modal.opam | 2 +-
 meta.yml                | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq-comp-dec-modal.opam b/coq-comp-dec-modal.opam
index 877fa8a..635bbf2 100644
--- a/coq-comp-dec-modal.opam
+++ b/coq-comp-dec-modal.opam
@@ -38,7 +38,7 @@ depends: [
 ]
 
 tags: [
-  "category:Computer Science/Modal Logic"
+  "category:Mathematics/Logic/Modal logic"
   "keyword:modal logic"
   "keyword:completeness"
   "keyword:decidability"
diff --git a/meta.yml b/meta.yml
index f5a1ead..e0c7eb8 100644
--- a/meta.yml
+++ b/meta.yml
@@ -101,7 +101,7 @@ keywords:
 - name: propositional dynamic logic
 
 categories:
-- name: Computer Science/Modal Logic
+- name: Mathematics/Logic/Modal logic
 
 coqdoc_index: "docs/latest/coqdoc/toc.html"