Hello,
On Wed, Mar 18, 2020 at 10:50:13PM +0100, Ivo De Decker wrote:
On Wed, Mar 18, 2020 at 08:38:56PM +0100, Ralf Treinen wrote:
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.
libaac-tactics-coq is not allowed to become uninstallable on i386 because it
is arch: all and i386 is a 'nobreakall' architecture in britney. When the new
aac-tactics migrates, the i386 binaries would be removed, making
libaac-tactics-coq uninstallable on i386. A manual (allow-uninst) hint is
necessary to allow this. I just added such a hint, so aac-tactics should
migrate once the 5 days are over. If it doesn't (and it's unclear why), please
feel free to check again with us.
Could you please hint the following packages as allow-uninst as well.
These are Architecture=all packages which currently are no longer
installable on i386 as coq currently has build failures on this
architecture:
libfloat-coq
libssreflect-coq