diff --git a/coq-stdpp.opam b/coq-stdpp.opam
index 4e236ebde474a89d737d6ff458104dd9365c7b2e..67872a065c70ef50536c8479cbac46bd5033beb2 100644
--- a/coq-stdpp.opam
+++ b/coq-stdpp.opam
@@ -28,6 +28,9 @@ The key features of this library are as follows:
   `set_solver` for goals involving set operations.
 - It is entirely dependency- and axiom-free.
 """
+tags: [
+  "logpath:stdpp"
+]
 
 depends: [
   "coq" { (>= "8.10.2" & < "8.15~") | (= "dev") }