A new upstream version 4.8.4 is available, you should consider packaging it.
Last update: 2019-08-21
Marked for autoremoval on 16 September: #842892high
Version 4.4.1-0.4 of z3 is marked for autoremoval from testing on Mon 16 Sep 2019. It is affected by #842892. The removal of z3 will also cause the removal of (transitive) reverse dependency: haskell-cryptol. You should try to prevent the removal by fixing these RC bugs.