* Mehdi Dogguy [2016-03-19 09:57]:
> This looks like a duplicate of #813459.
Yes, I must have missed that, sorry.
--
Martin Michlmayr
Linux for HPE Helion, Hewlett Packard Enterprise
Control: forcemerge 813459 818331
Hi,
On 16/03/2016 02:13, Martin Michlmayr wrote:
> Package: aac-tactics
> Version: 0.4-5
> Severity: serious
>
> This package fails to build in unstable:
>
>> sbuild (Debian sbuild) 0.68.0 (15 Jan 2016) on dl580gen9-02.hlinux
> ...
>> make[4]: Entering
Package: aac-tactics
Version: 0.4-5
Severity: serious
This package fails to build in unstable:
> sbuild (Debian sbuild) 0.68.0 (15 Jan 2016) on dl580gen9-02.hlinux
...
> make[4]: Entering directory '/<>'
> "coqc" -q -opt -R "." AAC_tactics AAC
> File "./AAC.v", line 497, characters 8-20:
>
3 matches
Mail list logo