Hi,
On Sat, Aug 12, 2017 at 03:03:11PM -0400, Mehdi Dogguy wrote:
> Hi,
>
> Thank you for this report.
>
> On 12/08/2017 09:33, Adrian Bunk wrote:
> > configure: ***
> > configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
> >
Hi,
Thank you for this report.
On 12/08/2017 09:33, Adrian Bunk wrote:
> configure: ***
> configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
> configure: ***
> Ocamlfind ->
Source: frama-c
Version: 20170501+phosphorus+dfsg-1
Severity: serious
https://buildd.debian.org/status/package.php?p=frama-c=sid
...
configure: ***
configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
configure:
3 matches
Mail list logo