Re: [PATCH 2/2] gnu: Add gnome-themes-standard.

[Federico Beffa <beffa@ieee.org>]

On Mon, Nov 3, 2014 at 11:11 PM, Ludovic Courtès <ludo@gnu.org> wrote:
>> +;; The version of this package should be the same as the version of
>> +;; gnome-desktop.
>> +(define-public gnome-themes-standard
>> +  (package
>> +    (name "gnome-themes-standard")
>> +    (version "3.10.0")
>
> Please use (version (package-version gnome-desktop)) here, and put the
> comment just above it.

I thought about this, but did not do it because, if the version
changes, then you also need to change the hash.  So, if someone
changes gnome-desktop without bothering about gnome-themes-standard,
then the latter would break.  By keeping a separate string the package
would still build, but maybe with a slight odd look. WDYT?

Regards,
Fede