[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: 01/01: gnu: vulkan-loader: Update URL and change name.
From: |
Rutger Helling |
Subject: |
Re: 01/01: gnu: vulkan-loader: Update URL and change name. |
Date: |
Thu, 7 Jun 2018 13:37:17 +0200 |
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