Processing commands for cont...@bugs.debian.org: > forcemerge 1067226 1068140 Bug #1067226 {Done: Doug Torrance <dtorra...@debian.org>} [src:flint] flint: libflint needs soversion bump to 19 Bug #1067363 {Done: Doug Torrance <dtorra...@debian.org>} [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) Bug #1068140 [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' 1067293 was blocked by: 1067363 1067226 1067293 was not blocking any bugs. Added blocking bug(s) of 1067293: 1068140 1067274 was blocked by: 1067363 1067226 1067274 was not blocking any bugs. Added blocking bug(s) of 1067274: 1068140 1067360 was blocked by: 1067363 1067226 1067360 was not blocking any bugs. Added blocking bug(s) of 1067360: 1068140 1067262 was blocked by: 1067226 1067363 1067262 was not blocking any bugs. Added blocking bug(s) of 1067262: 1068140 1067286 was blocked by: 1067363 1067226 1067286 was not blocking any bugs. Added blocking bug(s) of 1067286: 1068140 1067300 was blocked by: 1067226 1067363 1067300 was not blocking any bugs. Added blocking bug(s) of 1067300: 1068140 Marked Bug as done Removed indication that 1068140 affects src:polymake Marked as fixed in versions flint/3.1.2-1~exp1. Bug #1067363 {Done: Doug Torrance <dtorra...@debian.org>} [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) Merged 1067226 1067363 1068140 > 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 1068140: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1068140 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems