Marked for autoremoval on 19 November due to z3: #941857high
Version 2.6.0-3 of haskell-cryptol is marked for autoremoval from testing on Tue 19 Nov 2019. It depends (transitively) on z3, affected by #941857. You should try to prevent the removal by fixing these RC bugs.
Standards version of the package is outdated.
wishlist
The package should be updated to follow the last version of Debian Policy
(Standards-Version 4.4.1 instead of
4.1.4).
testing migrations
This package will soon be part of the auto-libffi transition. You might want to ensure that your package is ready for it.
You can probably find supplementary information in the
debian-release
archives or in the corresponding
release.debian.org
bug.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/h/haskell-cryptol.png){kind=link}