Bug#886590: Please add python3-z3 package

2019-09-25 Thread Fabian Wolff
On 9/25/19 9:52 AM, Sylvestre Ledru wrote: > > Le 24/09/2019 à 16:41, Roman Lebedev a écrit : >> On Tue, Sep 24, 2019 at 5:39 PM Fabian Wolff wrote: >>> >>> What are your thoughts on this? >> I personally would not see dumping libz3-cil and libz3-ocaml-dev as a >> problem. > > +1 > > Having ba

Bug#886590: Please add python3-z3 package

2019-09-25 Thread Sylvestre Ledru
Le 24/09/2019 à 16:41, Roman Lebedev a écrit : On Tue, Sep 24, 2019 at 5:39 PM Fabian Wolff wrote: What are your thoughts on this? I personally would not see dumping libz3-cil and libz3-ocaml-dev as a problem. +1 Having base packages working and maintained is more important than two lea

Bug#886590: Please add python3-z3 package

2019-09-24 Thread Fabian Wolff
On 9/24/19 2:49 PM, Roman Lebedev wrote: > On Tue, Sep 24, 2019 at 3:32 PM Sylvestre Ledru 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 softw

Bug#886590: Please add python3-z3 package

2019-09-24 Thread Roman Lebedev
On Tue, Sep 24, 2019 at 5:39 PM Fabian Wolff wrote: > > On 9/24/19 2:49 PM, Roman Lebedev wrote: > > On Tue, Sep 24, 2019 at 3:32 PM Sylvestre Ledru > > wrote: > >> > >> Hello > >> > >> > >> Le 24/09/2019 à 12:51, Roman Lebedev a écrit : > >>> Bump. Any chance this could be prioritized? > >>> La

Bug#886590: Please add python3-z3 package

2019-09-24 Thread Roman Lebedev
On Tue, Sep 24, 2019 at 3:32 PM Sylvestre Ledru 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

Bug#886590: Please add python3-z3 package

2019-09-24 Thread Sylvestre Ledru
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 don't know if he is planning to w

Bug#886590: Please add python3-z3 package

2019-09-24 Thread Roman Lebedev
Bump. Any chance this could be prioritized? Lack of python3-z3 package prevents me from porting some other python2 software to python3. Roman.

Bug#886590: Please add python3-z3 package

2018-01-07 Thread Anders Kaseorg
Source: z3 Version: 4.4.1-0.3 Severity: wishlist It’d be nice to have a python3-z3 package in addition to python-z3, especially with Python 2 fast approaching end-of-life. Upstream states that the Z3 Python bindings work in Python 3 (https://github.com/Z3Prover/z3#python), and I can confirm th