diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2024-11-22 22:18:20 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2024-11-22 22:31:26 +0100 |
| commit | 1cb7588b512b2e5e56d438fd5a7cdb748fa662c3 (patch) | |
| tree | 00fe2d05db777dfc48c336bd25408c7da8726ce3 /dev-lang/boogie/boogie-3.4.2.ebuild | |
| parent | Rename dev-python/{Opcodes → opcodes} (diff) | |
| download | gentoo-1cb7588b512b2e5e56d438fd5a7cdb748fa662c3.tar.gz gentoo-1cb7588b512b2e5e56d438fd5a7cdb748fa662c3.tar.bz2 gentoo-1cb7588b512b2e5e56d438fd5a7cdb748fa662c3.zip | |
Rename dev-python/{OutputCheck → outputcheck}
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-lang/boogie/boogie-3.4.2.ebuild')
| -rw-r--r-- | dev-lang/boogie/boogie-3.4.2.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/boogie/boogie-3.4.2.ebuild b/dev-lang/boogie/boogie-3.4.2.ebuild index b1d70adeb4bd..512bb2a4b0dd 100644 --- a/dev-lang/boogie/boogie-3.4.2.ebuild +++ b/dev-lang/boogie/boogie-3.4.2.ebuild @@ -226,7 +226,7 @@ RDEPEND=" BDEPEND=" ${RDEPEND} test? ( - dev-python/OutputCheck + dev-python/outputcheck dev-python/lit dev-python/psutil ) |