haskell-cryptol 2.6.0-3 is marked for autoremoval from testing on 2019-08-22
It (build-)depends on packages with these RC bugs: 842892: libz3-jni: java.lang.UnsatisfiedLinkError: libz3java.so: undefined symbol: Z3_solver_get_model _______________________________________________ Pkg-haskell-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-haskell-maintainers
