Update released/packages/coq-compcert/coq-compcert.3.13.1/opam

Co-authored-by: Guillaume Melquiond <[email protected]>
coq · Oct 17, 2023 · 82bb9b4 · 82bb9b4
1 parent dbf6e74
commit 82bb9b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-compcert/coq-compcert.3.13.1/opam b/released/packages/coq-compcert/coq-compcert.3.13.1/opam
@@ -9,7 +9,7 @@ tags: [
   "keyword:C"
   "keyword:compiler"
   "logpath:compcert"
-  "date:2022-11-25"
+  "date:2023-07-04"
 ]
 homepage: "http://compcert.inria.fr/"
 bug-reports: "https://github.com/AbsInt/CompCert/issues"