Processing commands for [email protected]: > reassign 1067363 src:flint Bug #1067363 [flint] polymake: FTBFS: dpkg-shlibdeps: error: no dependency information found for /lib/x86_64-linux-gnu/libflint.so.19 (used by debian/libpolymake4.11/usr/lib/libpolymake.so.4.11) Bug reassigned from package 'flint' to 'src:flint'. Ignoring request to alter found versions of bug #1067363 to the same values previously set Ignoring request to alter fixed versions of bug #1067363 to the same values previously set > forcemerge 1067226 1067363 Bug #1067226 [src:flint] flint: libflint needs soversion bump to 19 Bug #1067226 [src:flint] flint: libflint needs soversion bump to 19 Added tag(s) ftbfs. Bug #1067363 [src:flint] polymake: FTBFS: dpkg-shlibdeps: error: no dependency information found for /lib/x86_64-linux-gnu/libflint.so.19 (used by debian/libpolymake4.11/usr/lib/libpolymake.so.4.11) Severity set to 'grave' from 'serious' 1067274 was blocked by: 1067226 1067274 was not blocking any bugs. Added blocking bug(s) of 1067274: 1067363 1067262 was blocked by: 1067226 1067262 was not blocking any bugs. Added blocking bug(s) of 1067262: 1067363 1067360 was blocked by: 1067226 1067360 was not blocking any bugs. Added blocking bug(s) of 1067360: 1067363 1067286 was blocked by: 1067226 1067286 was not blocking any bugs. Added blocking bug(s) of 1067286: 1067363 1067300 was blocked by: 1067226 1067300 was not blocking any bugs. Added blocking bug(s) of 1067300: 1067363 1067293 was blocked by: 1067226 1067293 was not blocking any bugs. Added blocking bug(s) of 1067293: 1067363 Marked as found in versions flint/3.1.1-1. Merged 1067226 1067363 > thanks Stopping processing here.
Please contact me if you need assistance. -- 1067226: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1067226 1067262: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1067262 1067274: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1067274 1067286: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1067286 1067293: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1067293 1067300: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1067300 1067360: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1067360 1067363: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1067363 Debian Bug Tracking System Contact [email protected] with problems
