commit: fb02487ba91e15d3172fad74917fadf8041f4cfd Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Sun Sep 28 15:02:41 2025 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sun Sep 28 15:04:19 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fb02487b
sci-mathematics/coq: add missing yojson dependency Closes: https://bugs.gentoo.org/963517 Reported-by: Marko Doko <marko <AT> doko.foo> Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/coq/{coq-9.1.0.ebuild => coq-9.1.0-r1.ebuild} | 1 + 1 file changed, 1 insertion(+) diff --git a/sci-mathematics/coq/coq-9.1.0.ebuild b/sci-mathematics/coq/coq-9.1.0-r1.ebuild similarity index 99% rename from sci-mathematics/coq/coq-9.1.0.ebuild rename to sci-mathematics/coq/coq-9.1.0-r1.ebuild index 0ce0ae800faa..21b7bffc808e 100644 --- a/sci-mathematics/coq/coq-9.1.0.ebuild +++ b/sci-mathematics/coq/coq-9.1.0-r1.ebuild @@ -32,6 +32,7 @@ RESTRICT="test" RDEPEND=" dev-ml/camlzip:= dev-ml/num:= + dev-ml/yojson:= dev-ml/zarith:= gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?]
