Hi, On Wed, 18 Nov 2020 at 15:53, Brett Gilio <[email protected]> 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
