Revise category name to match released version

k4rtik · k4rtik · commit f7ed96964904 · 2021-11-21T11:45:10.000-06:00
See: rocq-prover/opam@f234691#diff-1b0a492f5232962ebe9f37b94943341c058111c56f1d26e59c3d523dd46948c9
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

Original file line number	Diff line number	Diff line change
`@@ -32,8 +32,7 @@ depends: [`
`32`	`32`	`]`
`33`	`33`
`34`	`34`	`tags: [`
`35`		`- "category:Computer Science/Semantics"`
`36`		`- "category:Compilation/Semantics"`
	`35`	`+ "category:Computer Science/Semantics and Compilation/Semantics"`
`37`	`36`	`"keyword:natural semantics"`
`38`	`37`	`"keyword:denotational semantics"`
`39`	`38`	`"keyword:axiomatic semantics"`