opam file: update tags and date

Deducteam · Dec 17, 2024 · b04ee7e · b04ee7e
1 parent 8d61c60
commit b04ee7e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/coq-hol-light.opam b/coq-hol-light.opam
@@ -21,6 +21,8 @@ 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"
 ]