From 1304e1783d2c1503a8c207e980e62cc2b37bd8ea Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 5 Nov 2021 13:14:14 -0400
Subject: [PATCH] add logpath tag to opam file
---
coq-stdpp.opam | 3 +++
1 file changed, 3 insertions(+)
diff --git a/coq-stdpp.opam b/coq-stdpp.opam
index 4e236ebd..67872a06 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") }
--
GitLab