Bug#888560: mpfi dependencies inconsistency

2018-01-27 Thread Jerome BENOIT
Hello Tobias, thanks for the hint. I have just upload a corrected version. Jerome On 27/01/18 17:19, Tobias Hansen wrote: > On 01/27/2018 01:41 PM, Jerome BENOIT wrote: >> Hello Vincent, thanks for your bugreport. >> >> >> >> On 27/01/18 06:31, Vincent Lefevre wrote: >>> Package: src:mpfi >>> Ver

Bug#888560: mpfi dependencies inconsistency

2018-01-27 Thread Tobias Hansen
On 01/27/2018 01:41 PM, Jerome BENOIT wrote: > Hello Vincent, thanks for your bugreport. > > > > On 27/01/18 06:31, Vincent Lefevre wrote: >> Package: src:mpfi >> Version: 1.5.3+ds-1 >> Severity: serious >> Justification: Policy 7.2 >> >> The current libmpfi-dev version is 1.5.3+ds-1+b1, which has:

Bug#888560: mpfi dependencies inconsistency

2018-01-27 Thread Jerome BENOIT
Hello Vincent, thanks for your bugreport. On 27/01/18 06:31, Vincent Lefevre wrote: > Package: src:mpfi > Version: 1.5.3+ds-1 > Severity: serious > Justification: Policy 7.2 > > The current libmpfi-dev version is 1.5.3+ds-1+b1, which has: > > Depends: libmpfi0 (= 1.5.3+ds-1+b1), libmpfi-dev-co

Bug#888560: mpfi dependencies inconsistency

2018-01-26 Thread Vincent Lefevre
Package: src:mpfi Version: 1.5.3+ds-1 Severity: serious Justification: Policy 7.2 The current libmpfi-dev version is 1.5.3+ds-1+b1, which has: Depends: libmpfi0 (= 1.5.3+ds-1+b1), libmpfi-dev-common (= 1.5.3+ds-1), libmpfr-dev, libgmp-dev but libmpfi-dev-common 1.5.3+ds-1 has: Recommends: libm