Update released/packages/coq-unicoq/coq-unicoq.1.6+8.18/opam

Co-authored-by: Karl Palmskog <palmskog@gmail.com>
coq · Oct 16, 2023 · 92a02bf · 92a02bf
1 parent 573a174
commit 92a02bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-unicoq/coq-unicoq.1.6+8.18/opam b/released/packages/coq-unicoq/coq-unicoq.1.6+8.18/opam
@@ -19,7 +19,7 @@ depends: [
 synopsis: "An enhanced unification algorithm for Coq"
 tags: [
   "logpath:Unicoq"
-  "date:2023-03-28"
+  "date:2023-09-27"
 ]
 url {
   src: "https://github.com/unicoq/unicoq/archive/v1.6-8.18.tar.gz"