[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#44725: ocaml-cairo2 package fails to build
|
From: |
zimoun |
|
Subject: |
bug#44725: ocaml-cairo2 package fails to build |
|
Date: |
Thu, 19 Nov 2020 09:56:09 +0100 |
Hi,
On Wed, 18 Nov 2020 at 15:53, Brett Gilio <brettg@gnu.org> 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