Is there an existing issue for this?

• I have searched the existing issues for a bug report that matches the one I want to file, without success.

Problem Description

fedora-38 already ships GCC 13, which we reject.

Proposed Solution

Updated spkg-configure and hope that nothing needs changes.

Alternatives Considered

N/A

Additional Information

No response