Processed: update file conflict bug

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> # Undeclared file conflicts are explicitly RC in rc-policy.txt
> severity 1131853 serious
Bug #1131853 [libscotchparmetis-dev] libscotchparmetis-dev: trying to overwrite libptscotchparmetisv3.so, which is also in package libptscotch-dev (7.0.7-1)
Severity set to 'serious' from 'normal'
> # Expand the file conflict
> reassign 1131853 libscotchmetis-dev,libscotchparmetis-dev
Bug #1131853 [libscotchparmetis-dev] libscotchparmetis-dev: trying to overwrite libptscotchparmetisv3.so, which is also in package libptscotch-dev (7.0.7-1)
Bug reassigned from package 'libscotchparmetis-dev' to 'libscotchmetis-dev,libscotchparmetis-dev'.
No longer marked as found in versions scotch/7.0.11-1.
Ignoring request to alter fixed versions of bug #1131853 to the same values previously set
> # Restore found after reassign
> found 1131853 scotch/7.0.11-1
Bug #1131853 [libscotchmetis-dev,libscotchparmetis-dev] libscotchparmetis-dev: trying to overwrite libptscotchparmetisv3.so, which is also in package libptscotch-dev (7.0.7-1)
Marked as found in versions scotch/7.0.11-1.
> # Record affected packages
> affects 1131853 + libptscotch-dev libscotch-dev
Bug #1131853 [libscotchmetis-dev,libscotchparmetis-dev] libscotchparmetis-dev: trying to overwrite libptscotchparmetisv3.so, which is also in package libptscotch-dev (7.0.7-1)
Added indication that 1131853 affects libptscotch-dev and libscotch-dev
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1131853: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1131853
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems