Bug#886590: Please add python3-z3 package

Roman Lebedev lebedev.ri at gmail.com
Tue Sep 24 11:51:08 BST 2019

Previous message (by thread): TURISMO ESPERIENZIALE MATERA
Next message (by thread): Bug#886590: Please add python3-z3 package
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Roman.

Previous message (by thread): TURISMO ESPERIENZIALE MATERA
Next message (by thread): Bug#886590: Please add python3-z3 package
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-llvm-team mailing list