Bug#886590: Please add python3-z3 package

[Roman Lebedev]

On Tue, Sep 24, 2019 at 3:32 PM Sylvestre Ledru <sylvestre at debian.org> 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