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
>>>
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
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),
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:
