coq-hol-light.2.0.0: update tags and date

coq · Dec 17, 2024 · af67744 · af67744
1 parent 4c59a00
commit af67744
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/released/packages/coq-hol-light/coq-hol-light.2.0.0/opam b/released/packages/coq-hol-light/coq-hol-light.2.0.0/opam
@@ -21,7 +21,9 @@ install: [make "install"]
 tags: [
   "keyword:HOL-Light"
   "category:Math/Arith/Misc"
-  "date:2023-11-06"
+  "category:Math/Arith/Real Numbers"
+  "category:Math/Real Numbers"
+  "date:2024-12-17"
   "logpath:HOLLight"
 ]
 url {