Debian Bug report logs - #577242
nmu: coq_8.2.pl1+dfsg-6, ssreflect_1.2+dfsg-4, ledit_2.01-6

Package: release.debian.org; Maintainer for release.debian.org is Debian Release Team <debian-release@lists.debian.org>;

Reported by: Stéphane Glondu <glondu@debian.org>

Date: Sat, 10 Apr 2010 17:51:02 UTC

Severity: normal

Done: "Adam D. Barratt" <adam@adam-barratt.org.uk>

Bug is archived. No further changes may be made.

Toggle useless messages

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to debian-bugs-dist@lists.debian.org, Debian Release Team <debian-release@lists.debian.org>:
Bug#577242; Package release.debian.org. (Sat, 10 Apr 2010 17:51:04 GMT) Full text and rfc822 format available.

Acknowledgement sent to Stéphane Glondu <glondu@debian.org>:
New Bug report received and forwarded. Copy sent to Debian Release Team <debian-release@lists.debian.org>. (Sat, 10 Apr 2010 17:51:04 GMT) Full text and rfc822 format available.

Message #5 received at submit@bugs.debian.org (full text, mbox):

From: Stéphane Glondu <glondu@debian.org>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: nmu: coq_8.2.pl1+dfsg-6, ssreflect_1.2+dfsg-4, ledit_2.01-6
Date: Sat, 10 Apr 2010 19:47:04 +0200
Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: binnmu
User: release.debian.org@packages.debian.org
Usertags: binnmu

Hello,

nmu 1 coq_8.2.pl1+dfsg-6 . ALL . -m "Rebuild with camlp5 5.13"
dw coq_8.2.pl1+dfsg-6 . ALL . -m "camlp5 (>= 5.13-1)"
nmu ssreflect_1.2+dfsg-4 . ALL . -m "Rebuild with camlp5 5.13"
dw ssreflect_1.2+dfsg-4 . ALL . -m "camlp5 (>= 5.13-1), libcoq-ocaml-dev (>= 8.2.pl1+dfsg-6+b1)"
nmu ledit_2.01-6 . ALL . -m "Rebuild with camlp5 5.13"
dw ledit_2.01-6 . ALL . -m "camlp5 (>= 5.13-1)"

Thanks in advance,

-- 
Stéphane

-- System Information:
Debian Release: squeeze/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.32-4-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash




Reply sent to "Adam D. Barratt" <adam@adam-barratt.org.uk>:
You have taken responsibility. (Sat, 10 Apr 2010 19:18:11 GMT) Full text and rfc822 format available.

Notification sent to Stéphane Glondu <glondu@debian.org>:
Bug acknowledged by developer. (Sat, 10 Apr 2010 19:18:11 GMT) Full text and rfc822 format available.

Message #10 received at 577242-done@bugs.debian.org (full text, mbox):

From: "Adam D. Barratt" <adam@adam-barratt.org.uk>
To: Stéphane Glondu <glondu@debian.org>, 577242-done@bugs.debian.org
Subject: Re: Bug#577242: nmu: coq_8.2.pl1+dfsg-6, ssreflect_1.2+dfsg-4, ledit_2.01-6
Date: Sat, 10 Apr 2010 19:53:48 +0100
On Sat, 2010-04-10 at 19:47 +0200, Stéphane Glondu wrote:
> nmu 1 coq_8.2.pl1+dfsg-6 . ALL . -m "Rebuild with camlp5 5.13"
> dw coq_8.2.pl1+dfsg-6 . ALL . -m "camlp5 (>= 5.13-1)"
> nmu ssreflect_1.2+dfsg-4 . ALL . -m "Rebuild with camlp5 5.13"
> dw ssreflect_1.2+dfsg-4 . ALL . -m "camlp5 (>= 5.13-1), libcoq-ocaml-dev (>= 8.2.pl1+dfsg-6+b1)"
> nmu ledit_2.01-6 . ALL . -m "Rebuild with camlp5 5.13"
> dw ledit_2.01-6 . ALL . -m "camlp5 (>= 5.13-1)"

Scheduled.

Regards,

Adam




Bug archived. Request was from Debbugs Internal Request <owner@bugs.debian.org> to internal_control@bugs.debian.org. (Sun, 09 May 2010 07:36:15 GMT) Full text and rfc822 format available.

Send a report that this bug log contains spam.


Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Wed Apr 16 20:16:39 2014; Machine Name: beach.debian.org

Debian Bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.