mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-18 19:36:20 +00:00
This reverts commit 5c5c453219.
And removes the old python(2) pull in.
For some reason we get:
`Package python3-embed was not found in the pkg-config search path.`
with python38-devel but not with python310-devel. Let's bump it to that
version.