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

Debian Bug Tracking System owner at bugs.debian.org
Tue Aug 18 10:00:08 BST 2009


Processing commands for control at 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)



More information about the Ubuntu-devel-discuss mailing list