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

[Ludovic Courtès]

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’.