On Thu, Oct 20, 2016 at 04:41:00PM +0530, Arun Isaac wrote:
> 
> > +    (license (list license:gpl3    ; Most files
> > +                   license:isc)))) ; curve/curve25519-donna.c
> 
> Do double check whether the license of curve/curve25519-donna.c is the
> ISC license. I am not awfully sure.

It's the 3 clause BSD license. I pushed the patches, thanks!