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

Bug#528099: marked as done (packages.debian.org: Please add avr32 arch from debian-ports.)



Your message dated Mon, 13 Sep 2010 21:41:54 +0200
with message-id <20100913194154.GD9059@dedibox.ebzao.info>
and subject line Re: Bug#528099: packages.debian.org: Please add avr32 arch from debian-ports.
has caused the Debian Bug report #528099,
regarding packages.debian.org: Please add avr32 arch from debian-ports.
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.)


-- 
528099: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=528099
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: www.debian.org
Severity: wishlist

Hi,

The avr32 port has just moved to debian-ports.org, and it would be nice if
it's packages could start appearing on packages.debian.org. Thanks.


Regards,
Bradley Smith

-- 
Bradley Smith                                     brad@brad-smith.co.uk
Debian GNU/Linux Developer                         bradsmith@debian.org
GPG: 0xC718D347       D201 7274 2FE1 A92A C45C EFAB 8F70 629A C718 D347

Attachment: signature.asc
Description: PGP signature


--- End Message ---
--- Begin Message ---
On Sun, May 10, 2009 at 08:48:13PM +0100, Bradley Smith wrote:
> Package: www.debian.org
> Severity: wishlist
> 
> The avr32 port has just moved to debian-ports.org, and it would be nice if
> it's packages could start appearing on packages.debian.org. Thanks.

Visible on http://packages.debian.org/sid/base-passwd

Actually done a while ago:

commit d2c37ad5a233f2026d3309905f6715ec672be45b
Commit:     Frank Lichtenheld
CommitDate: Sun Jun 7 21:54:00 2009 +0200

    Add AVR32 from debian-ports.org
    
    Requested by Bradley Smith in Bug#528099


-- 
Simon Paillard


--- End Message ---

Reply to: