Bug#934048: z3: please add libnum-ocaml-dev to Build-Depends

[Stéphane Glondu]

Package: z3
Version: 4.4.1-0.4
Severity: important

Hello,

Currently, z3 FTBFS with OCaml 4.08.x because it depends on the num
library that used to be shipped with OCaml, but is no longer in 4.08.0.

Virtual packages libnum-ocaml{,-dev} have been added to the OCaml in
unstable (4.05.0-12). Please add libnum-ocaml-dev to Build-Depends to
smoothen the future transition to OCaml 4.08.x


Cheers,

-- 
Stéphane