Processed: As usual, I forgot to CC control before.

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 745233 libgmp10
Bug #745233 [libhogweed2] libhogweed2: should have versioned depend on newer libgmp10
Bug reassigned from package 'libhogweed2' to 'libgmp10'.
No longer marked as found in versions nettle/2.7.1-2.
Ignoring request to alter fixed versions of bug #745233 to the same values previously set
> retitle 745233 libgmp10: Wrong shlibs information after 6.0.0 adds new symbols
Bug #745233 [libgmp10] libhogweed2: should have versioned depend on newer libgmp10
Changed Bug title to 'libgmp10: Wrong shlibs information after 6.0.0 adds new symbols' from 'libhogweed2: should have versioned depend on newer libgmp10'
> affects 745233 libhogweed2
Bug #745233 [libgmp10] libgmp10: Wrong shlibs information after 6.0.0 adds new symbols
Added indication that 745233 affects libhogweed2
> --
Stopping processing here.

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