Processed: Re: Bug#695546: apt: can't download source package when same-name binary pkg from different-name src pkg exists

To: Daniel Hartwig <mandyke@gmail.com>
Cc: deity@lists.debian.org
Subject: Processed: Re: Bug#695546: apt: can't download source package when same-name binary pkg from different-name src pkg exists
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 10 Dec 2012 01:45:04 +0000
Message-id: <[🔎] handler.s.B695546.135510374121706.transcript@bugs.debian.org>
References: <[🔎] CAN3veRehbOpA0VSD2_ZmSoyzwTy_vCDSdT_vc2H47d_Wx8dqaQ@mail.gmail.com> <[🔎] 20121209235313.24925.44554.reportbug@ara3.mirbsd.org>

Processing control commands:

> severity -1 normal
Bug #695546 [apt] apt: can't download source package when same-name binary pkg from different-name src pkg exists
Severity set to 'normal' from 'important'

-- 
695546: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=695546
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#695546: apt: can't download source package when same-name binary pkg from different-name src pkg exists
  - From: Daniel Hartwig <mandyke@gmail.com>
- Bug#695546: apt: can't download source package when same-name binary pkg from different-name src pkg exists
  - From: Thorsten Glaser <tg@mirbsd.de>

Prev by Date: Bug#695546: apt: can't download source package when same-name binary pkg from different-name src pkg exists
Next by Date: Bug#695546: apt: can't download source package when same-name binary pkg from different-name src pkg exists
Previous by thread: Bug#695546: apt: can't download source package when same-name binary pkg from different-name src pkg exists
Next by thread: Bug#695633: apt: support explicitly named source packages with "src:foo"
Index(es):
- Date
- Thread