change category to Mathematics/Logic/Modal logic per coq/opam#2731

coq-community · Aug 11, 2024 · f308e38 · f308e38
1 parent 6cd2e3c
commit f308e38
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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"