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 <[email protected]> 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 < > [email protected]> 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 < >> [email protected]> 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 < >>> [email protected]> 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 <[email protected]> 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/ >>>> >>>>
