Subject: bug#44725: ocaml-cairo2 package fails to build

From: zimoun <[email-masked]>
Date: Thu, 19 Nov 2020 09:56:09 +0100

Hi,

On Wed, 18 Nov 2020 at 15:53, Brett Gilio <[email-masked]> wrote:

> This is a test-phase issue. It looks like it might be a segmentation
> fault from a C dependency (maybe Cairo itself)? I or somebody will look
> a little deeper. In the meantime I am going to disable the test-phase
> and mark this issue as open.

Just to notice the Coq substitutes is available in the version-1.2.0
branch.  Therefore, the regression is in between. :-)

All the best,
simon