diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-03-10 06:44:55 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-03-10 06:44:55 +0000 |
commit | f617f04203a0968020e5a7252e865803636af918 (patch) | |
tree | d05c93d914912359b74f6f31b27bd1cd719f8bda /dev-lang/boogie/boogie-3.1.2.ebuild | |
parent | 013635213f8032704e1ec9ae01e9303e63a2efbb (diff) |
gentoo auto-resync : 10:03:2024 - 06:44:55
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 ) " |