Processed: Re: reportbug: provider of virtual package dependency with versioned Provides is not reported

To: Nis Martensen <nis.martensen@web.de>
Cc: debian-reportbug@lists.debian.org
Subject: Processed: Re: reportbug: provider of virtual package dependency with versioned Provides is not reported
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sun, 18 Aug 2019 08:39:06 +0000
Message-id: <[🔎] handler.s.B934472.156611745729624.transcript@bugs.debian.org>
References: <[🔎] 2ff0b62b-e24e-7b0e-cc8f-fc562515ce3b@web.de> <[🔎] 20190811113602.GA13180@espresso.pseudorandom.co.uk>

Processing control commands:

> tags -1 patch
Bug #934472 [reportbug] reportbug: provider of virtual package dependency with versioned Provides is not reported
Added tag(s) patch.

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

Reply to:

References:
- Bug#934472: reportbug: provider of virtual package dependency with versioned Provides is not reported
  - From: Nis Martensen <nis.martensen@web.de>
- Bug#934472: reportbug: provider of virtual package dependency with versioned Provides is not reported
  - From: Simon McVittie <smcv@debian.org>

Prev by Date: Bug#934472: reportbug: provider of virtual package dependency with versioned Provides is not reported
Next by Date: Bug#931609: Update release names after the Buster release.
Previous by thread: Bug#934472: reportbug: provider of virtual package dependency with versioned Provides is not reported
Next by thread: Processed: Bug#934472 marked as pending in reportbug
Index(es):
- Date
- Thread