On Tue, Sep 24, 2019 at 3:32 PM Sylvestre Ledru <[email protected]> wrote: > > Hello > > > Le 24/09/2019 à 12:51, Roman Lebedev a écrit : > > Bump. Any chance this could be prioritized? > > Lack of python3-z3 package prevents me from porting > > some other python2 software to python3. > > Thanks to the work of Fabian Wolff, we have a better version of z3. I'm a little bit out of context here, of *z3* or of z3 packaging? Also, link?
> I don't know if he is planning to work on this soon but if you write a patch > i would be happy to sponsor it. > > thanks > Sylvestre Roman
