> +    (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.