Bug#943996: llvm-9 now depends on libz3-4

[Sylvestre Ledru]

Le 02/11/2019 à 12:09, Paolo Greppi a écrit :
> Hi Sylvestre and many thanks for the prompt response, see below.
>
> On 02/11/19 11:59, Sylvestre Ledru wrote:
>> Hello,
>>
>>
>> Le 02/11/2019 à 11:52, Paolo Greppi a écrit :
>>> Package: llvm-9
>>> Version: 1:9.0.0-3
>>> Severity: normal
>> [...]
>>> This does not seem right.
>> Why? z3 is a solver used to improve the static analysis results.
>>
>> I enabled it in 9-3
>>
>> Cheers,
>> Sylvestre
> Ah OK !
>
> Then one of llvm-9-dev, libclang-9-dev or clang-9 musg depend on libz3-dev because my build does not find /usr/lib/x86_64-linux-gnu/libz3.so:
>
Right! Thanks

I just pushed a fix in the vcs

Sylvestre