commit: 418e2b38c1d8353a346468a267d7adf2d8dbd656 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Mon Sep 18 07:18:44 2023 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Mon Sep 18 15:00:28 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=418e2b38
dev-lang/dafny: add "go" test dependency Closes: https://bugs.gentoo.org/914372 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> dev-lang/dafny/dafny-4.2.0.ebuild | 1 + 1 file changed, 1 insertion(+) diff --git a/dev-lang/dafny/dafny-4.2.0.ebuild b/dev-lang/dafny/dafny-4.2.0.ebuild index 34aaf73989ea..24f9f2259878 100644 --- a/dev-lang/dafny/dafny-4.2.0.ebuild +++ b/dev-lang/dafny/dafny-4.2.0.ebuild @@ -315,6 +315,7 @@ BDEPEND=" test? ( ${PYTHON_DEPS} dev-lang/boogie + dev-lang/go dev-python/OutputCheck dev-python/lit net-libs/nodejs[npm]
