Processed: Re: apt-cudf: unable to find a solution with an out-of-date chroot

To: Johannes Schauer <josch@debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Re: apt-cudf: unable to find a solution with an out-of-date chroot
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Thu, 12 May 2016 04:48:04 +0000
Message-id: <[🔎] handler.s.B823906.146302832513429.transcript@bugs.debian.org>
References: <[🔎] 20160512044507.9172.43933@localhost> <[🔎] 146287193652.1095.16260848335317882699.reportbug@ohm.local>

Processing control commands:

> tag -1 + patch
Bug #823906 [apt-cudf] apt-cudf: unable to find a solution with an out-of-date chroot
Added tag(s) patch.

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

Reply to:

References:
- Bug#823906: apt-cudf: unable to find a solution with an out-of-date chroot
  - From: Johannes Schauer <josch@debian.org>
- Bug#823906: apt-cudf: unable to find a solution with an out-of-date chroot
  - From: Aurelien Jarno <aurel32@debian.org>

Prev by Date: Bug#823906: [Dose-devel] apt-cudf: unable to find a solution with an out-of-date chroot
Next by Date: Bug#823906: apt-cudf: unable to find a solution with an out-of-date chroot
Previous by thread: Bug#823906: apt-cudf: unable to find a solution with an out-of-date chroot
Next by thread: Bug#823906: marked as done (apt-cudf: unable to find a solution with an out-of-date chroot)
Index(es):
- Date
- Thread