haskell-cryptol is marked for autoremoval from testing

[Debian testing autoremoval watch]

haskell-cryptol 2.3.0-1 is marked for autoremoval from testing on 2016-10-11

It (build-)depends on packages with these RC bugs:
835743: z3: FTBFS: ../src/util/mpz.cpp:137:8: error: call of overloaded 'set(mpz&, long unsigned int)' is ambiguous
835754: z3: FTBFS: util/debug.cpp:79:38: error: cannot convert 'std::basic_istream<char>' to 'bool' in initialization