Your message dated Thu, 7 Mar 2019 19:08:01 +0100 with message-id <721db848-f126-23a4-7cae-8bf6925b5d0f@debian.org> and subject line Re: Bug#923072: RM: why/2.40-3+b1 from testing has caused the Debian Bug report #923072, regarding RM: why -- ROM; Dependency why3 too new in unstable 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.) -- 923072: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=923072 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: RM: why/2.40-3+b1 from testing
- From: Ralf Treinen <treinen@debian.org>
- Date: Sat, 23 Feb 2019 21:26:52 +0100
- Message-id: <155095361203.32261.12024929295166731281.reportbug@seneca.home.org>
Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: rm Hi, please remove src:why from testing. why depends on why3. However, the version of why in testing, as well as the newest version of why published by ustream, need a version of why3 <= 0/88.3 which is older than the version of why3 that we have in testing or in unstable. This makes why unusable [1]. For this reason I think that why should not be distributed with buster, please remove it from testing. The current why in testing delays the migration of coq and friends (I hope we get one day all the blockers of coq out of the way!) Thanks -Ralf. [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902618 -- System Information: Debian Release: buster/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.19.0-3-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 ---
- To: 923072-done@bugs.debian.org
- Subject: Re: Bug#923072: RM: why/2.40-3+b1 from testing
- From: Paul Gevers <elbrus@debian.org>
- Date: Thu, 7 Mar 2019 19:08:01 +0100
- Message-id: <721db848-f126-23a4-7cae-8bf6925b5d0f@debian.org>
- In-reply-to: <bbefbaf4-ac0d-6f3c-998c-f1cb1d1891e9@debian.org>
- References: <155095361203.32261.12024929295166731281.reportbug@seneca.home.org> <a7aa1714-5a1f-70e7-b0cd-9e940ce59e6e@debian.org> <20190224185649.GA12806@seneca.home.org> <bbefbaf4-ac0d-6f3c-998c-f1cb1d1891e9@debian.org> <bbefbaf4-ac0d-6f3c-998c-f1cb1d1891e9@debian.org>
On Sun, 24 Feb 2019 20:06:42 +0100 Paul Gevers <elbrus@debian.org> wrote: > Ok. Will add the removal hint. Which did its job. PaulAttachment: signature.asc
Description: OpenPGP digital signature
--- End Message ---