Package: ftp.debian.org Severity: normal Hi,
For some reason, aac-tactics still lives in testing on i386, even though it was removed from unstable on i386, as a consequence of the removal of coq on some architectures. aac-tactics build-depends on coq. Currently, coq does no longer build on i386, hence the same is true for aac-tactics. This will block migration of aac-tactics to testing. I should state that I am not the Maintainer but only the team member who does the upload of aac-tactics. Thanks for considering -Ralf. Note: this was a request for a partial removal from testing, converted in one for unstable
