haskell-cryptol is marked for autoremoval from testing

Debian testing autoremoval watch noreply at release.debian.org
Wed Jul 24 05:39:03 BST 2019

Previous message (by thread): ghc_8.6.5+dfsg1-1_source.changes ACCEPTED into unstable
Next message (by thread): Processing of ghc-testsuite_8.6.5-1_source.changes
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): ghc_8.6.5+dfsg1-1_source.changes ACCEPTED into unstable
Next message (by thread): Processing of ghc-testsuite_8.6.5-1_source.changes
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-haskell-maintainers mailing list