Hi Claudio,
On 25/01/2016 20:54, Claudio Sacerdoti Coen wrote:
> Dear Mehdi,
>
> the most recent camlp5 version in git seems to fix enough bugs to let
Thanks for handling this with camlp5's upstream. I can confirm it builds
fine with latest two fixes in camlp5. I'll prepare fixed packages now an
Dear Mehdi,
the most recent camlp5 version in git seems to fix enough bugs to let
the version of matita in Debian compile.
Fingers crossed,
C.S.C.
On Fri, 2016-01-22 at 15:06 +0100, Claudio Sacerdoti Coen wrote:
> Hi,
>
> this is another bug in camlp5. To trigger it it is sufficient to
> compil
Hi,
this is another bug in camlp5. To trigger it it is sufficient to
compile with ocamlc -pp camlp5o the two following files:
bug.mli:
val find: ?test:string -> unit
bug.ml:
let find ?(test = "hello") = assert false
Therefore the bug needs to be re-assigned to camlp5.
I will now contact Daniel
Hi Enrico,
On 20/01/2016 11:15, Enrico Tassi wrote:
> On Sun, Oct 18, 2015 at 11:03:35PM +0200, Mehdi Dogguy wrote:
>> Package: src:matita
>> Version: 0.99.1-3
>> Severity: serious
>>
>> Dear Maintainer,
>
> This bugs is due to camlp5 and fixed in
> caca3dd0643ec5aae9df4399fa73eb280808ef18
>
> s
On Sun, Oct 18, 2015 at 11:03:35PM +0200, Mehdi Dogguy wrote:
> Package: src:matita
> Version: 0.99.1-3
> Severity: serious
>
> Dear Maintainer,
This bugs is due to camlp5 and fixed in
caca3dd0643ec5aae9df4399fa73eb280808ef18
see https://gforge.inria.fr/projects/camlp5/
Best,
--
Enrico Tassi
Package: src:matita
Version: 0.99.1-3
Severity: serious
Dear Maintainer,
Your package fails to build from source. Here is an excerpt from the
build
log:
OCAMLOPT nCic.ml
File "nCic.ml", line 142, characters 11-460:
Error: This class type should be virtual.
The following variables are
6 matches
Mail list logo
