diff --git a/coq-reduction-effects.opam b/coq-reduction-effects.opam
index 8c04ee9..cec3732 100644
--- a/coq-reduction-effects.opam
+++ b/coq-reduction-effects.opam
@@ -18,3 +18,7 @@ dev-repo: "git+https://github.com/herbelin/reduction-effects"
 url {
   src: "git+https://github.com/herbelin/reduction-effects.git"
 }
+flags: light-uninstall
+tags: [
+  "logpath:ReductionEffect"
+]