subject:"\[PATCH\] Update Julia to 0.3.10."

Re: [PATCH] Update Julia to 0.3.10.

2015-07-20 Thread Ludovic Courtès

Ricardo Wurmus skribis: > From 18fe9ec45fb0d8ece556603f03e4faa2d0db65df Mon Sep 17 00:00:00 2001 > From: Ricardo Wurmus > Date: Mon, 20 Jul 2015 11:12:31 +0200 > Subject: [PATCH] gnu: julia: Update to 0.3.10. > > * gnu/packages/julia.scm (julia): Update to 0.3.10. > * gnu/packages/patches/julia-

[PATCH] Update Julia to 0.3.10.

2015-07-20 Thread Ricardo Wurmus

This update requires two patches, one of which is in the form of a new build phase. The patch file I added is a trivial fix that is hard to apply with just ‘(substitute* ...)’. >From 18fe9ec45fb0d8ece556603f03e4faa2d0db65df Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Mon, 20 Jul 2015 11: