Re: 01/01: gnu: vulkan-loader: Update URL and change name.

[Rutger Helling]

Thanks for the tip, done!

On Wed, 06 Jun 2018 22:19:19 +0200
address@hidden (Ludovic Courtès) wrote:

> Hello,
> 
> address@hidden (Rutger Helling) skribis:
> 
> > -(define-public vulkan-icd-loader
> > +(define-public vulkan-loader
> >    (package
> > -    (name "vulkan-icd-loader")
> > +    (name "vulkan-loader")
> 
> It may be useful to have:
> 
>   (define-public vulkan-icd-loader
>     (deprecated-package "vulkan-icd-loader" vulkan-loader))
> 
> so that if people installed it under the previous name, it’ll
> automatically upgrade to the new name.
> 
> Ludo’.

pgpl8jeWrXy94.pgp
Description: OpenPGP digital signature