From c0e3a2d9434bfa9d061ef8041426274958309b11 Mon Sep 17 00:00:00 2001
From: Michael Soegtrop <7895506+MSoegtropIMC@users.noreply.github.com>
Date: Fri, 31 Mar 2023 11:20:31 +0200
Subject: [PATCH] coq-unicoq.1.6+8.17: fix release date field

---
 released/packages/coq-unicoq/coq-unicoq.1.6+8.17/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/released/packages/coq-unicoq/coq-unicoq.1.6+8.17/opam b/released/packages/coq-unicoq/coq-unicoq.1.6+8.17/opam
index 0f3b3e986..61267b40d 100644
--- a/released/packages/coq-unicoq/coq-unicoq.1.6+8.17/opam
+++ b/released/packages/coq-unicoq/coq-unicoq.1.6+8.17/opam
@@ -19,7 +19,7 @@ depends: [
 synopsis: "An enhanced unification algorithm for Coq"
 tags: [
   "logpath:Unicoq"
-  "date:2022-08-19"
+  "date:2023-03-28"
 ]
 url {
   src: "https://github.com/unicoq/unicoq/archive/v1.6-8.17.tar.gz"