haskell-cryptol is marked for autoremoval from testing
    Debian testing autoremoval watch 
    noreply at release.debian.org
       
    Mon Oct 14 05:39:07 BST 2019
    
    
  
haskell-cryptol 2.6.0-3 is marked for autoremoval from testing on 2019-11-19
It (build-)depends on packages with these RC bugs:
941857: z3: Z3 4.8.4 contains cache bugs and should not be packaged
    
    
More information about the Pkg-haskell-maintainers
mailing list