Revise category name to match released version

See: coq/opam@f234691#diff-1b0a492f5232962ebe9f37b94943341c058111c56f1d26e59c3d523dd46948c9
coq-community · Nov 21, 2021 · f7ed969 · f7ed969
1 parent bad337b
commit f7ed969
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/coq-semantics.opam b/coq-semantics.opam
@@ -32,8 +32,7 @@ depends: [
 ]
 
 tags: [
-  "category:Computer Science/Semantics"
-  "category:Compilation/Semantics"
+  "category:Computer Science/Semantics and Compilation/Semantics"
   "keyword:natural semantics"
   "keyword:denotational semantics"
   "keyword:axiomatic semantics"

diff --git a/meta.yml b/meta.yml
@@ -76,8 +76,7 @@ keywords:
 - name: intervals
 
 categories:
-- name: Computer Science/Semantics
-- name: Compilation/Semantics
+- name: Computer Science/Semantics and Compilation/Semantics
 
 documentation: |
   ## Description