diff options
Diffstat (limited to 'dev-lang/dafny/dafny-4.5.0.ebuild')
| -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] ) " |