Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 902515 - dev-scheme/kawa-3.1.1-r2: pls use dev-java/javax-servlet-api:3.0 instead of java-virtuals
Summary: dev-scheme/kawa-3.1.1-r2: pls use dev-java/javax-servlet-api:3.0 instead of j...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Scheme Project
URL:
Whiteboard:
Keywords: PATCH
Depends on:
Blocks: 902481
  Show dependency tree
 
Reported: 2023-03-21 09:53 UTC by Volkmar W. Pogatzki
Modified: 2023-03-25 17:49 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
kawa-3.1.1-r3.patch (kawa-3.1.1-r3.patch,731 bytes, patch)
2023-03-21 09:53 UTC, Volkmar W. Pogatzki
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Volkmar W. Pogatzki 2023-03-21 09:53:08 UTC
Created attachment 858533 [details, diff]
kawa-3.1.1-r3.patch

Please use dev-java/javax-servlet-api:3.0 instead of java-virtuals.

javax-servlet-api:3.0 comes with https://github.com/gentoo/gentoo/pull/30281.
Comment 1 Maciej Barć gentoo-dev 2023-03-21 12:46:07 UTC
(In reply to Volkmar W. Pogatzki from comment #0)
> Created attachment 858533 [details, diff] [details, diff]
> kawa-3.1.1-r3.patch
> 
> Please use dev-java/javax-servlet-api:3.0 instead of java-virtuals.
> 
> javax-servlet-api:3.0 comes with https://github.com/gentoo/gentoo/pull/30281.

Sure, when it's available in ::gentoo.
Comment 2 Volkmar W. Pogatzki 2023-03-25 07:13:35 UTC
(In reply to Maciej Barć from comment #1)
> [...]
> Sure, when it's available in ::gentoo.

It's there. https://packages.gentoo.org/packages/dev-java/javax-servlet-api
Comment 3 Larry the Git Cow gentoo-dev 2023-03-25 17:49:55 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=efa47486a6e1e5d423064d89d000f4460aae6c1c

commit efa47486a6e1e5d423064d89d000f4460aae6c1c
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2023-03-25 17:49:07 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2023-03-25 17:49:07 +0000

    dev-scheme/kawa: use javax-servlet-api
    
    Bug: https://bugs.gentoo.org/902481
    Closes: https://bugs.gentoo.org/902515
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 dev-scheme/kawa/kawa-3.1.1-r2.ebuild | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)