[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#954223: marked as done (RM: aac-tactics [i386] -- ROM; package no longer built on 386)

Your message dated Wed, 18 Mar 2020 22:50:13 +0100
with message-id <20200318215012.GA12059@debian.org>
and subject line Re: RM: aac-tactics [i386] -- ROM; package no longer built on 386
has caused the Debian Bug report #954223,
regarding RM: aac-tactics [i386] -- ROM; package no longer built on 386
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
954223: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=954223
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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

--- End Message ---
--- Begin Message --- 
Hi Ralf,

On Wed, Mar 18, 2020 at 08:38:56PM +0100, Ralf Treinen wrote:
> 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.

The removal of the i386 binaries in testing will happen when the new version
migrates. The issue is that the migration currently doesn't happen (as you
noted).

> 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.

Cheers,

Ivo

> 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

--- End Message ---
Reply to: