Bug#1014910: libantic0 package not depending on libflint

[julien . puydt]

Hi,

I can confirm the problem, but since libflint-dev is in the source
package Build-Depends: and the binary package Depends: does mention
${shlibs:Depends}, I'm pretty clueless on how that happens...

Cheers,

J.Puydt