diff options
| author |   Gerhard Bräunlich <g.braeunlich@disroot.org> | 2018-10-29 11:10:48 +0100 |
|---|---|---|
| committer |   Andreas Sturmlechner <asturm@gentoo.org> | 2019-04-24 23:13:28 +0200 |
| commit | cd8cc7d5f3ab34d627660d8841cb1a48b8558b35 (patch) | |
| tree | 466e93a446f868298f724cbe52eb167ba5e98b70 /x11-misc/xdock | |
| parent | profiles: arm64: Drop media-video/vlc[chromecast,aribsub] p.use.mask (diff) | |
| download | gentoo-cd8cc7d5f3ab34d627660d8841cb1a48b8558b35.tar.gz gentoo-cd8cc7d5f3ab34d627660d8841cb1a48b8558b35.tar.bz2 gentoo-cd8cc7d5f3ab34d627660d8841cb1a48b8558b35.zip | |
sci-libs/ipopt: Version bump to 3.12.12, EAPI 5 -> 6
Signed-off-by: Gerhard Bräunlich <g.braeunlich@disroot.org>
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Closes: https://github.com/gentoo/gentoo/pull/10293
Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
Diffstat (limited to 'x11-misc/xdock')
0 files changed, 0 insertions, 0 deletions