| Summary: | x11-plugins/wmtime should use mirror://debian/ in SRC_URI | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | df <demmamussabebonk> |
| Component: | Current packages | Assignee: | Gentoo Dockapp Team <desktop-dock> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | ||
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| URL: | http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/x11-plugins/wmtime/wmtime-1.0_beta2_p9.ebuild?view=markup | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
(In reply to comment #0) > mirror://debian/debian/pool/main/w/wmtime/wmtime_${MY_PV}-${MY_PL}.diff.gz" oops, this shold be mirror://debian/pool/main/w/wmtime/wmtime_${MY_PV}-${MY_PL}.diff.gz" Current version in tree has disappeared from the mirrors apparently (the diff part) I bumped it to current version (1.0_beta2_p10) and switched this new one to use mirror://debian, thanks for the report! |
as I stated in summary, it should be changed to SRC_URI="mirror://debian/pool/main/w/wmtime/wmtime_${MY_PV}.orig.tar.gz mirror://debian/debian/pool/main/w/wmtime/wmtime_${MY_PV}-${MY_PL}.diff.gz" thanks, Reproducible: Always