On Thu, Jul 07, 2016 at 09:39:48AM -0500, Alex Griffin wrote:
> On Thu, Jul 7, 2016, at 02:10 AM, Ricardo Wurmus wrote:
> > > +       (uri (string-append "https://github.com/gnome-mpv/gnome-mpv/releases/download/v"
> > > +                           version "/gnome-mpv-" version ".tar.xz"))
> > 
> > This line looks a bit long to me.  Have you checked with “guix lint
> > gnome-mpv”?
> 
> Actually, yes I did, and it didn't catch it. Maybe there's a bug in the
> linter?

The linkter checks that there aren't any lines over 90 characters, to
allow for incredibly long urls and super-indented code.

> 
> Anyway, here's an updated patch. In addition to correcting the long
> line, I also tweaked the synopsis and description to make clear that
> this is a media player, for the benefit of anyone who hasn't heard of
> mpv.
> -- 
> Alex Griffin


-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted