[opam] add flags and tags from template

coq-community · Apr 16, 2019 · deddead · deddead
1 parent 488ad85
commit deddead
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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"
+]