Bug#886590: Please add python3-z3 package

[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 <fabi.wolff at arcor.de> 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 leaf packages!
> 
> Any programs or libs using these libs?

No reverse dependencies according to apt-rdepends, and grepping through
/var/lib/apt/lists/*Sources, I didn't find any reverse build dependencies, either.

As I said, dropping the libz3-cil package has a higher priority, because that's what's
preventing an update to a newer version of z3. If the OCaml bindings don't cause any
trouble when I try to update the package, they may survive a little longer.


Roman: Thanks for pointing out that the Python 2 bindings don't work! I am planning to
include some autopkgtests, which are great for testing such basic package functionality
(e. g. checking that one can import the Python package). This should hopefully prevent
such problems in the future, or at least make them much easier to detect.

I'll try to have a look at all this over the weekend.

Best regards,
Fabian