add release date to aac-tactics-8.8.0

coq · Oct 20, 2018 · 38e837b · 38e837b
1 parent 39ec5e3
commit 38e837b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/released/packages/coq-aac-tactics/coq-aac-tactics.8.8.0/opam b/released/packages/coq-aac-tactics/coq-aac-tactics.8.8.0/opam
@@ -20,6 +20,7 @@ tags: [
   "keyword:rewriting modulo ac"
   "keyword:decision procedure"
   "category:Miscellaneous/Coq Extensions"
+  "date:2018-10-04"
   "logpath:AAC_tactics"
 ]
 authors: [