Bug#1086731: z3 FTCBFS: python3 dependency not installable

OK, thanks. I merged the patch into the repo (with an upstream release). if the build is successful, i will upload it thanks! S Le lundi 4 novembre 2024 à 22:03, Helmut Grohne a écrit : > > > Source: z3 > Version: 4.8.12-3.1 > Tags: patch > User: debian-cr...@lists.debian.org > Usertags:

Bug#1086731: z3 FTCBFS: python3 dependency not installable

Source: z3 Version: 4.8.12-3.1 Tags: patch User: debian-cr...@lists.debian.org Usertags: cross-satisfiability z3 cannot be cross built from source, because its python3 dependency fails to install. A host architecture Python fails postinst, but it also is not what z3 needs for building as it wants