diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-03-18 09:26:12 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-03-18 09:28:59 +0100 |
| commit | 7edf7022594debb9d299d771d1b6902b1d555c64 (patch) | |
| tree | 04ce434aeecaba22e28de5f02478f7291b00ed58 /dev-lang/dafny | |
| parent | dev-python/spyder: drop 5.5.1, 5.5.2 (diff) | |
| download | gentoo-7edf7022594debb9d299d771d1b6902b1d555c64.tar.gz gentoo-7edf7022594debb9d299d771d1b6902b1d555c64.tar.bz2 gentoo-7edf7022594debb9d299d771d1b6902b1d555c64.zip | |
dev-lang/dafny: add missing psutil test dependency
Closes: https://bugs.gentoo.org/927225
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/dafny')
| -rw-r--r-- | dev-lang/dafny/dafny-4.5.0.ebuild | 1 |
1 files changed, 1 insertions, 0 deletions
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] ) " |