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

Bug#956271: marked as done (nmu: aac-tactics_8.11.0-1)

Your message dated Fri, 10 Apr 2020 12:41:18 +0200
with message-id <618d7795-ba65-f9a7-1a9d-af7868f2478f@debian.org>
and subject line Re: Bug#956271: nmu: aac-tactics_8.11.0-1
has caused the Debian Bug report #956271,
regarding nmu: aac-tactics_8.11.0-1
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.)


-- 
956271: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=956271
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: binnmu

nmu aac-tactics_8.11.0-1 . ANY . unstable . -m "rebuild against coq 8.11.0-1+b1"

-- System Information:
Debian Release: bullseye/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 5.4.0-4-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.utf8), LANGUAGE=en_US:en (charmap=UTF-8) (ignored: LC_ALL set to en_US.utf8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

--- End Message ---
--- Begin Message --- 
On 10/04/2020 12:27, Ralf Treinen wrote:
> Hi,
> On Fri, Apr 10, 2020 at 11:32:41AM +0200, Emilio Pozuelo Monfort wrote:
>> Control: tags -1 moreinfo
>>
>> On 09/04/2020 10:51, Ralf Treinen wrote:
>>> Package: release.debian.org
>>> Severity: normal
>>> User: release.debian.org@packages.debian.org
>>> Usertags: binnmu
>>>
>>> nmu aac-tactics_8.11.0-1 . ANY . unstable . -m "rebuild against coq 8.11.0-1+b1"
>>
>> Package: coq
>> Source: coq (8.11.0-1)
>> Version: 8.11.0-1+b1
>> Provides: coq-8.11.0+4.08.1
>>
>>
>> Package: libaac-tactics-coq
>> Source: aac-tactics
>> Version: 8.11.0-1
>> Architecture: all
>> Depends: libaac-tactics-ocaml (>= 8.11.0-1), coq-8.11.0+4.08.1
>>
>> So I don't see why a rebuild is needed. Maybe it's because of another package,
>> so it would help if the request had been clearer, so I don't have to be looking
>> around and guessing. Can you clarify why this is needed?
>>
>> Besides if it's because of libaac-tactics-coq, since it's arch:all it can't be
>> binNMU'ed (the ocaml bindings can, but those don't seem to depend on coq).
> 
> It is not for libaac-tactics-coq, I know that it cannot be binNMUed,
> and it is not neccesarry. It is for libaac-tactics-ocaml and
> libaac-tactics-ocaml-dev which are Architecture=any, and which are
> now not installable since coq has been recompiled to version 8.11.0-1.b1.
> 
> AFAICS, this will block the migration of lablgtk3 3.1.0, and of the
> recompiled coq.
> 
> Sorry for not having explained that in my bug report.

Oh, I saw that provides and thought it would be due to that. I have scheduled
the binNMUs now (which appeared on the ocaml binnmu list too).

Cheers,
Emilio

--- End Message ---
Reply to: