migration of coq

[Ralf Treinen <treinen@debian.org>]

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

I hope that this unblocks the migration of coq.

Thanks in advance -Ralf.