Dummy modification.

coq · Feb 26, 2025 · 3010c8b · 3010c8b
1 parent 116fb70
commit 3010c8b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/released/packages/coq-stdpp/coq-stdpp.1.11.0/opam b/released/packages/coq-stdpp/coq-stdpp.1.11.0/opam
@@ -28,6 +28,7 @@ The key features of this library are as follows:
 - It is entirely dependency- and axiom-free.
 """
 tags: [
+  "foo"
   "date:2024-10-31"
   "logpath:stdpp"
 ]