Bug#886590: Please add python3-z3 package

[Sylvestre Ledru]

Le 24/09/2019 à 16:41, Roman Lebedev a écrit :
On Tue, Sep 24, 2019 at 5:39 PM Fabian Wolff <fabi.wo...@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?

Cheers

S