Mathias Homann wrote:
Am Mittwoch, 29. April 2020, 10:43:39 CEST schrieb Per Jessen:
Mathias Homann wrote:
my specific problem here's not that some modules don't support php 7.3, but the fact that for some reason those modules aren't being rebuilt in the php:extensions repo on OBS.
Aha, okay. So you can't actually upgrade ?
I can upgrade the whole php stuff but those three packages stay on the version from the main OSS repo,
That sounds like it is what you want, but I guess it doesn't work - the extensions have a version check?
it looks as if php7-memcached, php7-redis, and php7-geoip in php:extensions have not been rebuilt against the php version in devel:languages:php...
You _could_ build them yourself, but there is presumably a reason why they weren't built.
the thing is - they are built as recent as a few weeks ago, and no failures since then either...
Hmm. There must be a package maintainer you can ask about that. -- Per Jessen, Zürich (11.8°C) http://www.dns24.ch/ - free dynamic DNS, made in Switzerland. -- To unsubscribe, e-mail: opensuse+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse+owner@opensuse.org