diff options
Diffstat (limited to 'dev-lang/boogie/boogie-3.1.2.ebuild')
| -rw-r--r-- | dev-lang/boogie/boogie-3.1.2.ebuild | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev-lang/boogie/boogie-3.1.2.ebuild b/dev-lang/boogie/boogie-3.1.2.ebuild index 3000988a0c5a..1e5de6f37894 100644 --- a/dev-lang/boogie/boogie-3.1.2.ebuild +++ b/dev-lang/boogie/boogie-3.1.2.ebuild @@ -226,8 +226,9 @@ RDEPEND=" BDEPEND=" ${RDEPEND} test? ( - dev-python/lit dev-python/OutputCheck + dev-python/lit + dev-python/psutil ) " |