[PRQ#41719] Deletion Request for wpewebkit-bin
MarsSeed [1] filed a deletion request for wpewebkit-bin [2]: Unmaintained package. Old duplicate of [extra] wpewebkit. ArchLinuxARM also carries the ARM binaries. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/wpewebkit-bin/
This is not unmaintained. Life happened and I need to put back my setup to be able to build all the related packages. There's only this package pre-built and it takes hours to build it too so it'd be a shame if I can't update (sooner than later) this in the near future. On Tue, May 30, 2023 at 2:24 AM <notify@aur.archlinux.org> wrote:
MarsSeed [1] filed a deletion request for wpewebkit-bin [2]:
Unmaintained package.
Old duplicate of [extra] wpewebkit.
ArchLinuxARM also carries the ARM binaries.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/wpewebkit-bin/
Hi, There is no need for anyone using Arch to rebuild wpewebkit, since it is available in [extra] repo: https://archlinux.org/packages/?q=wpewebkit Cheers On 30 May 2023 09:30:38 GMT+02:00, Andrea Giammarchi <andrea.giammarchi@gmail.com> wrote:
This is not unmaintained. Life happened and I need to put back my setup to be able to build all the related packages.
There's only this package pre-built and it takes hours to build it too so it'd be a shame if I can't update (sooner than later) this in the near future.
On Tue, May 30, 2023 at 2:24 AM <notify@aur.archlinux.org> wrote:
MarsSeed [1] filed a deletion request for wpewebkit-bin [2]:
Unmaintained package.
Old duplicate of [extra] wpewebkit.
ArchLinuxARM also carries the ARM binaries.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/wpewebkit-bin/
that's x86_64 ... .I've been building for arm and arm64 which is nowhere so now you broke all my Raspberry Pi Kiosks ... was that really needed? On Tue, Jun 6, 2023 at 10:57 AM Marcell Meszaros <marcell.meszaros@runbox.eu> wrote:
Hi,
There is no need for anyone using Arch to rebuild wpewebkit, since it is available in [extra] repo:
https://archlinux.org/packages/?q=wpewebkit
Cheers
On 30 May 2023 09:30:38 GMT+02:00, Andrea Giammarchi < andrea.giammarchi@gmail.com> wrote:
This is not unmaintained. Life happened and I need to put back my setup to be able to build all the related packages.
There's only this package pre-built and it takes hours to build it too so it'd be a shame if I can't update (sooner than later) this in the near future.
On Tue, May 30, 2023 at 2:24 AM <notify@aur.archlinux.org> wrote:
MarsSeed [1] filed a deletion request for wpewebkit-bin [2]:
Unmaintained package.
Old duplicate of [extra] wpewebkit.
ArchLinuxARM also carries the ARM binaries.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/wpewebkit-bin/
Arch Linux ARM repos carry armv7h and aarch64 builds. Maybe that distro could be suitable for your needs? Search for wpewebkit here: https://archlinuxarm.org/packages On 6 June 2023 11:51:59 GMT+02:00, Andrea Giammarchi <andrea.giammarchi@gmail.com> wrote:
that's x86_64 ... .I've been building for arm and arm64 which is nowhere so now you broke all my Raspberry Pi Kiosks ... was that really needed?
On Tue, Jun 6, 2023 at 10:57 AM Marcell Meszaros <marcell.meszaros@runbox.eu> wrote:
Hi,
There is no need for anyone using Arch to rebuild wpewebkit, since it is available in [extra] repo:
https://archlinux.org/packages/?q=wpewebkit
Cheers
On 30 May 2023 09:30:38 GMT+02:00, Andrea Giammarchi < andrea.giammarchi@gmail.com> wrote:
This is not unmaintained. Life happened and I need to put back my setup to be able to build all the related packages.
There's only this package pre-built and it takes hours to build it too so it'd be a shame if I can't update (sooner than later) this in the near future.
On Tue, May 30, 2023 at 2:24 AM <notify@aur.archlinux.org> wrote:
MarsSeed [1] filed a deletion request for wpewebkit-bin [2]:
Unmaintained package.
Old duplicate of [extra] wpewebkit.
ArchLinuxARM also carries the ARM binaries.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/wpewebkit-bin/
OK, my bad, it used *not* to be the case (reason my builds were published) ... thanks for the update/info: it's all good! On Tue, Jun 6, 2023 at 12:21 PM Marcell Meszaros <marcell.meszaros@runbox.eu> wrote:
Arch Linux ARM repos carry armv7h and aarch64 builds. Maybe that distro could be suitable for your needs?
Search for wpewebkit here:
https://archlinuxarm.org/packages
On 6 June 2023 11:51:59 GMT+02:00, Andrea Giammarchi < andrea.giammarchi@gmail.com> wrote:
that's x86_64 ... .I've been building for arm and arm64 which is nowhere so now you broke all my Raspberry Pi Kiosks ... was that really needed?
On Tue, Jun 6, 2023 at 10:57 AM Marcell Meszaros < marcell.meszaros@runbox.eu> wrote:
Hi,
There is no need for anyone using Arch to rebuild wpewebkit, since it is available in [extra] repo:
https://archlinux.org/packages/?q=wpewebkit
Cheers
On 30 May 2023 09:30:38 GMT+02:00, Andrea Giammarchi < andrea.giammarchi@gmail.com> wrote:
This is not unmaintained. Life happened and I need to put back my setup to be able to build all the related packages.
There's only this package pre-built and it takes hours to build it too so it'd be a shame if I can't update (sooner than later) this in the near future.
On Tue, May 30, 2023 at 2:24 AM <notify@aur.archlinux.org> wrote:
MarsSeed [1] filed a deletion request for wpewebkit-bin [2]:
Unmaintained package.
Old duplicate of [extra] wpewebkit.
ArchLinuxARM also carries the ARM binaries.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/wpewebkit-bin/
Request #41719 has been Accepted by gromit [1]: duplicate of https://archlinux.org/packages/extra/x86_64/wpewebkit/ [1] https://aur.archlinux.org/account/gromit/
participants (3)
-
Andrea Giammarchi
-
Marcell Meszaros
-
notify＠aur.archlinux.org