Bug#802264: src:matita: FTBFS with OCaml 4.02.3

To: Mehdi Dogguy <mehdi@dogguy.org>, 802264@bugs.debian.org
Subject: Bug#802264: src:matita: FTBFS with OCaml 4.02.3
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Wed, 20 Jan 2016 11:15:52 +0100
Message-id: <[🔎] 20160120101552.GA7164@gargamel>
Reply-to: Enrico Tassi <gareuselesinge@debian.org>, 802264@bugs.debian.org
In-reply-to: <456ee1302da9430a137b0649dc6891e3@dogguy.org>
References: <456ee1302da9430a137b0649dc6891e3@dogguy.org>

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

Reply to:

Follow-Ups:
- Bug#802264: src:matita: FTBFS with OCaml 4.02.3
  - From: Mehdi Dogguy <mehdi@dogguy.org>

Prev by Date: Bug#810303: dose-builddebcheck output breaks backwards compatibility in 4.1 dropping the "src:" prefix, worth NEWS?
Next by Date: Processed: reassign 802264 to camlp5
Previous by thread: Processed: found 811569 in 3.3~beta1-3
Next by thread: Bug#802264: src:matita: FTBFS with OCaml 4.02.3
Index(es):
- Date
- Thread