On 7/24/22 14:09, Samuel Sieb wrote:
>>
>
> I assume these are 3rd party rpms. If you found something like that in
> Fedora, you should file a bug.
I doubt it, as I've always tended to stick to the repos. It was years
ago, and I don't remember which packages they were.