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

2018-06-07 Thread Rutger Helling
Thanks for the tip, done! On Wed, 06 Jun 2018 22:19:19 +0200 l...@gnu.org (Ludovic Courtès) wrote: > Hello, > > rhell...@mykolab.com (Rutger Helling) skribis: > > > -(define-public vulkan-icd-loader > > +(define-public vulkan-loader > >(package > > -(name "vulkan-icd-loader") > > +(

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

2018-06-06 Thread Ludovic Courtès
Hello, rhell...@mykolab.com (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-ic