Processed: Re: Bug#541842: libcloog-ppl-dev: Missing development headers

To: Matthias Klose <doko@debian.org>
Cc: Ubuntu Core developers <ubuntu-devel-discuss@lists.ubuntu.com> (gccsnapshot for {541842}), Debian GCC Maintainers <debian-gcc@lists.debian.org> (libcloogppldev for {541842})
Subject: Processed: Re: Bug#541842: libcloog-ppl-dev: Missing development headers
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 18 Aug 2009 09:00:08 +0000
Message-id: <handler.s.C.12505859044784.transcript@bugs.debian.org>
In-reply-to: <4A8A6D21.6070100@debian.org>
References: <4A8A6D21.6070100@debian.org>

Processing commands for control@bugs.debian.org:

> reassign 541842 gcc-snapshot
Bug #541842 [libcloog-ppl-dev] libcloog-ppl-dev: Missing development headers
Bug reassigned from package 'libcloog-ppl-dev' to 'gcc-snapshot'.
Bug No longer marked as found in versions cloog-ppl/0.15-2.
> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

References:
- Bug#541842: libcloog-ppl-dev: Missing development headers
  - From: Matthias Klose <doko@debian.org>

Prev by Date: Bug#542158: amd64: double free or corruption on Unchecked_Deallocation
Next by Date: Bug#541842: libcloog-ppl-dev: Missing development headers
Previous by thread: Bug#541842: libcloog-ppl-dev: Missing development headers
Next by thread: Bug#541842: marked as done (libcloog-ppl-dev: Missing development headers)
Index(es):
- Date
- Thread