Re: [PATCH] gnu: Add mono.

[Leo Famulari]

On Fri, Jul 29, 2016 at 04:24:09PM +0200, Danny Milosavljevic wrote:
> Hi,
> 
> On Wed, 27 Jul 2016 23:00:15 +0200
> Jan Nieuwenhuizen <address@hidden> wrote:
> 
> > Find a new patch attached.
> 
> I tried your patch and I get:
> 
> FAIL: test-sgen-qsort
> ...
> phase `check' failed after 474.1 seconds
> builder for `/gnu/store/1p5qsdgc2dxf41dfg16bza88qil931dj-mono-4.4.1.0.drv' 
> failed with exit code 1
> guix package: error: build failed: build of 
> `/gnu/store/1p5qsdgc2dxf41dfg16bza88qil931dj-mono-4.4.1.0.drv' failed

I couldn't reproduce this, so I pushed the patch as 763b3d50b62.

Thanks Jan and Danny!