Processed: Re: Broken library symlink detected in libptscotch-dev

[Debian Bug Tracking System]

Processing control commands:

> severity -1 serious
Bug #715107 [libptscotch-dev] Broken library symlink detected in libptscotch-dev
Severity set to 'serious' from 'normal'
> reassign -1 libptscotch-5.1 5.1.12b.dfsg-2
Bug #715107 [libptscotch-dev] Broken library symlink detected in libptscotch-dev
Bug reassigned from package 'libptscotch-dev' to 'libptscotch-5.1'.
No longer marked as found in versions scotch/5.1.12b.dfsg-2.
Ignoring request to alter fixed versions of bug #715107 to the same values previously set
Bug #715107 [libptscotch-5.1] Broken library symlink detected in libptscotch-dev
Marked as found in versions scotch/5.1.12b.dfsg-2.
> retitle -1 libptscotch-5.1: ships libs in /usr/lib/scotch_*/ instead of /usr/lib/scotch-*/
Bug #715107 [libptscotch-5.1] Broken library symlink detected in libptscotch-dev
Changed Bug title to 'libptscotch-5.1: ships libs in /usr/lib/scotch_*/ instead of /usr/lib/scotch-*/' from 'Broken library symlink detected in libptscotch-dev'.

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