Processing commands for cont...@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) -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss