Processing commands for cont...@bugs.debian.org:

> reassign 1068140 src:flint
Bug #1068140 [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 #1068140 to the same values 
previously set
Ignoring request to alter fixed versions of bug #1068140 to the same values 
previously set
> thanks
Stopping processing here.

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

Reply via email to