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
