diff options
author | Maciej Barć <xgqt@gentoo.org> | 2022-10-04 17:22:21 +0200 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2022-10-04 17:24:45 +0200 |
commit | 0b4089e67b207d2f37d2dc9c7d18228165684f52 (patch) | |
tree | 097917aad5e94050b07f8ae4934f516d38238012 /media-tv | |
parent | sys-kernel/gentoo-sources: add 5.19.13 (diff) | |
download | gentoo-0b4089e67b207d2f37d2dc9c7d18228165684f52.tar.gz gentoo-0b4089e67b207d2f37d2dc9c7d18228165684f52.tar.bz2 gentoo-0b4089e67b207d2f37d2dc9c7d18228165684f52.zip |
dev-lang/boogie: add icu dependency
Closes: https://bugs.gentoo.org/874810
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'media-tv')
0 files changed, 0 insertions, 0 deletions