From 7edf7022594debb9d299d771d1b6902b1d555c64 Mon Sep 17 00:00:00 2001 From: Maciej Barć Date: Mon, 18 Mar 2024 09:26:12 +0100 Subject: dev-lang/dafny: add missing psutil test dependency MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Closes: https://bugs.gentoo.org/927225 Signed-off-by: Maciej Barć --- dev-lang/dafny/dafny-4.5.0.ebuild | 1 + 1 file changed, 1 insertion(+) (limited to 'dev-lang') diff --git a/dev-lang/dafny/dafny-4.5.0.ebuild b/dev-lang/dafny/dafny-4.5.0.ebuild index 0872955efef7..1f25339c17f6 100644 --- a/dev-lang/dafny/dafny-4.5.0.ebuild +++ b/dev-lang/dafny/dafny-4.5.0.ebuild @@ -403,6 +403,7 @@ BDEPEND=" dev-lang/go dev-python/OutputCheck dev-python/lit + dev-python/psutil net-libs/nodejs[npm] ) " -- cgit v1.2.3-65-gdbad